Sciweavers

1611 search results - page 176 / 323
» A Library for Self-Adjusting Computation
Sort
View
193
Voted
LPNMR
2007
Springer
16 years 1 months 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
163
Voted
LAWEB
2006
IEEE
16 years 1 months 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...
134
Voted
FCCM
2005
IEEE
107views VLSI» more  FCCM 2005»
16 years 18 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 17 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 17 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...