| Your search for 51905 returns 1118 document(s) |
| Termination Analysis of Active Rules with Priorities (846-855) |
|
Author: Alain Couchot; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decidability and undecidability results for the termination problem of active database rules, Hal. 264-273 |
|
Author: James Bailey; Gouzho Dong; Katagiri Ramamohanarno; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Algebraic Approach to Static Analysis of Active Database Rules |
|
Author: E. Baralis, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| VITAK: a visual tool for analysis of rules beavior in active database (LNCS-Lecture Notes in Computer Science 985) |
|
Author: Emmanuel Benazet, Herve Guehl, Mokrane Bouzeghoub; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modularization techniques for active rules design |
|
Author: Baralis Elena | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Behavior of database production rules: termination, confluence, and observable determinism (hal 59- 68) |
|
Author: Alexander Aiken; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Polynomial interpretations as a basis for termination analysis of logic programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 311-325 |
|
Author: Manh Thang Nguyen; Danny De Schreye; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A visualization and explanation tool for debugging ECA rules in active databases (LNCS-Lecture Notes in Computer Science 985) |
|
Author: S. Chakravarthy, Z. Tamizuddin, J. Zhou; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protein Structural Information Management Based on Spatial Concepts and Active Trigger Rules (413-422) |
|
Author: Sung-Hee Park
Keun Ho Ryu
Hyeon S. Son; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fast active appearance model search using canonical analysis, page 1690 |
|
Author: R. Donner | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result