34199 search results - page 192 / 6840 » Petascale Computational Systems |
160
click to vote
ISMIS
1997
Springer
15 years 10 months ago
1997
Springer
Intelligent presentation of data requires exibility of expression based on user needs and data content, both of which evolve. This exibility is not o ered by the current generatio...
165
click to vote
LISA
2007
15 years 9 months ago
2007
We have pioneered the deployment of EverLab, a production level private PlanetLab system using high-end clusters spread over Europe. EverLab supports both experimentation and comp...
155
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
183
click to vote
MSWIM
2006
ACM
16 years 16 days ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
194
click to vote
AISC
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...