4513 search results - page 801 / 903 » Logic programming with satisfiability |
133
click to vote
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
133
click to vote
DAWAK
2004
Springer
15 years 8 months ago
2004
Springer
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
126
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
139
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: The era of ubiquitous and pervasive computing technology opens the world for new pervasive applications and services within the physical surroundings. Often users find themselves...
153
click to vote
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...