11017 search results - page 2066 / 2204 » Closure Systems and their Structure |
261
Voted
AAAI
2008
15 years 8 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
188
click to vote
APVIS
2009
15 years 8 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
183
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Although a remarkably high degree of automation has been reached in production and intra-logistics nowadays, human labor is still used for transportation using handcarts and forkl...
253
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
191
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...