6020 search results - page 487 / 1204 » A New Approach to Model Counting |
176
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
An important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods...
177
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
182
click to vote
WSC
2007
15 years 9 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
173
click to vote
ACMACE
2008
ACM
15 years 9 months ago
2008
ACM
The development of Affective Interface technologies makes it possible to envision a new generation of Digital Arts and Entertainment applications, in which interaction will be bas...
254
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...