Sciweavers

1611 search results - page 176 / 323
» A Library for Self-Adjusting Computation
Sort
View
LPNMR
2007
Springer
16 years 20 days ago
Using Answer Sets to Solve Belief Change Problems
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
Aaron Hunter, James P. Delgrande, Joel Faber
LAWEB
2006
IEEE
16 years 16 days ago
Preserving the Scholarly Side of the Web
This paper presents results of a case study that addresses many issues surrounding the difficult task of preservation in a digital library. We focus on a subset of these issues as...
Adam Mikeal, Cody Green, Alexey Maslov, Scott Phil...
FCCM
2005
IEEE
107views VLSI» more  FCCM 2005»
16 years 4 days ago
Hardware Solution to Java Compressed Heap
Java technology has been integrated into mobile/wireless computing because of its rich support to portability (crossplatform nature), reusability (development libraries), and shor...
Mayumi Kato, Chia-Tien Dan Lo
ISMAR
2005
IEEE
16 years 3 days ago
Face to Face Collaborative AR on Mobile Phones
Mobile phones are an ideal platform for augmented reality. In this paper we describe how they can also be used to support face to face collaborative AR gaming. We have created a c...
Anders Henrysson, Mark Billinghurst, Mark Ollila
SBACPAD
2005
IEEE
177views Hardware» more  SBACPAD 2005»
16 years 3 days ago
Automatic Data-Flow Graph Generation of MPI Programs
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
Rafael Ennes Silva, Guilherme P. Pezzi, Nicolas Ma...