Sciweavers

2656 search results - page 18 / 532
» A general purpose animator
Sort
View
ISARCS
2010
156views Hardware» more  ISARCS 2010»
13 years 9 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
ITS
2010
Springer
163views Multimedia» more  ITS 2010»
13 years 9 months ago
Correcting Scientific Knowledge in a General-Purpose Ontology
General-purpose ontologies (e.g. WordNet) are convenient, but they are not always scientifically valid. We draw on techniques from semantic class learning to improve the scientific...
Michael Lipschultz, Diane J. Litman
ER
2008
Springer
86views Database» more  ER 2008»
13 years 9 months ago
A General-Purpose Context Modeling Architecture for Adaptive Mobile Services
Thomas Pederson, Carmelo Ardito, Paolo Bottoni, Ma...
CIDR
2007
128views Algorithms» more  CIDR 2007»
13 years 9 months ago
Cayuga: A General Purpose Event Monitoring System
We describe the design and implementation of the Cornell Cayuga System for scalable event processing. We present a query language based on Cayuga Algebra for naturally expressing ...
Alan J. Demers, Johannes Gehrke, Biswanath Panda, ...