Sciweavers

7920 search results - page 1230 / 1584
» The Swarm Application Framework
Sort
View
CADE
2002
Springer
16 years 7 months ago
The Quest for Efficient Boolean Satisfiability Solvers
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
Lintao Zhang, Sharad Malik
VLDB
2001
ACM
168views Database» more  VLDB 2001»
16 years 7 months ago
Answering queries using views: A survey
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
Alon Y. Halevy
VLDB
2001
ACM
104views Database» more  VLDB 2001»
16 years 7 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
VLDB
2007
ACM
104views Database» more  VLDB 2007»
16 years 7 months ago
Unifying Data and Domain Knowledge Using Virtual Views
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
Lipyeow Lim, Haixun Wang, Min Wang
SIGMOD
2008
ACM
245views Database» more  SIGMOD 2008»
16 years 7 months ago
Information fusion in wireless sensor networks
In wireless sensor networks (WSNs), energy consumption and data quality are two important issues due to limited energy resources and the need for accurate data. In this scenario, i...
Eduardo Freire Nakamura, Antonio Alfredo Ferreira ...
« Prev « First page 1230 / 1584 Last » Next »