Sciweavers

16190 search results - page 2767 / 3238
» Applicative programming with effects
Sort
View
JVM
2004
133views Education» more  JVM 2004»
15 years 4 months ago
Towards Virtual Networks for Virtual Machine Grid Computing
Virtual machines can greatly simplify wide-area discomputing by lowering the level of abstraction to the benefit of both resource providers and users. Networking, however, can be ...
Ananth I. Sundararaj, Peter A. Dinda
319
Voted
KDID
2004
481views Database» more  KDID 2004»
15 years 4 months ago
Models and Indices for Integrating Unstructured Data with a Relational Database
Abstract. Database systems are islands of structure in a sea of unstructured data sources. Several real-world applications now need to create bridges for smooth integration of semi...
Sunita Sarawagi
ECIR
2003
Springer
15 years 4 months ago
Hierarchical Indexing and Flexible Element Retrieval for Structured Document
As more and more structured documents, such as SGML or XML documents become available on the Web, there is a growing demand to develop effective structured document retrieval which...
Hang Cui, Ji-Rong Wen, Tat-Seng Chua
108
Voted
IJCAI
2001
15 years 4 months ago
Backjumping for Quantified Boolean Logic Satisfiability
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
137
Voted
ECIS
2003
15 years 4 months ago
The method evaluation model: a theoretical model for validating information systems design methods
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
Daniel L. Moody
« Prev « First page 2767 / 3238 Last » Next »