Sciweavers

3602 search results - page 217 / 721
» Isn't It About Time
Sort
View
106
Voted
FCS
2006
15 years 2 months ago
From Sequential Processes to Grid Computation
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
Mark Burgin, Marc Smith
AIPS
2003
15 years 2 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen
INTERACT
2003
15 years 2 months ago
The Pragmatic Web: Agent-Based Multimodal Web Interaction with no Browser in Sight
: To a large degree information has become accessible – anytime, anywhere – but not necessarily useful. Unless the right information is presented at the right time, in the righ...
Alexander Repenning, James Sullivan
NIPS
2003
15 years 2 months ago
Decoding V1 Neuronal Activity using Particle Filtering with Volterra Kernels
Decoding is a strategy that allows us to assess the amount of information neurons can provide about certain aspects of the visual scene. In this study, we develop a method based o...
Ryan Kelly, Tai Sing Lee
USENIX
2003
15 years 2 months ago
Multiprocessor Support for Event-Driven Programs
This paper presents a new asynchronous programming library (libasync-smp) that allows event-driven applications to take advantage of multiprocessors by running code for event hand...
Nickolai Zeldovich, Alexander Yip, Frank Dabek, Ro...