Search Result Save to File Save as CSV
Your search for 16184 returns 3660 document(s)
Processing Aggregate Relational Queries with Hard Time Constraints (68-77)
Author: Wen-Chi HOu Gultekin Ozsoyoglu Baldeo K. Taneja; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited (193-204)
Author: Francois Bry; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Optimization of Large Join Queries: Combining Heuristics and Combinatorial Techniques (367-376)
Author: Arun Swami; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid focused crawling based upon VSM similarity, wordNet semantics and hub score learning
Author: Mukesh Kumar; Renu Vig | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A linear-logic semantics for constraint handling rules, (LNCS-Lecture Notes in Computer Science 3709) Hal 137-151
Author: Hariolf Betz; Thom Fruhwirth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315
Author: Xu Qiwen; | Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Sufficient Condition for strong equivalence under the well-founded semantics, ((LNCS-Lecture Notes in Computer Science 3668) Hal 414-415
Author: Christos Nomikos; Panos Rondogiannis; William W. Wadge; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432
Author: Marcus Vinicius Santos; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A well-founded semantics with disjunction, LNCS-Lecture Notes in Computer Science 3668) Hal 341-355
Author: Joao Alcantara; Carlos Viegas Damasio; Luis Moniz Pereira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   14 15 16 17 18 19 20 21 22 23  Next