Sciweavers

1081 search results - page 126 / 217
» CODES: An Integrated Approach to Composable Modeling and Sim...
Sort
View
DALT
2004
Springer
14 years 21 days ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
TIP
2010
312views more  TIP 2010»
13 years 7 months ago
A Novel Multiresolution Spatiotemporal Saliency Detection Model and Its Applications in Image and Video Compression
—Salient areas in natural scenes are generally regarded as areas which the human eye will typically focus on, and finding these areas is the key step in object detection. In com...
Chenlei Guo, Liming Zhang
SIGMOD
2004
ACM
151views Database» more  SIGMOD 2004»
14 years 9 months ago
Highly-Available, Fault-Tolerant, Parallel Dataflows
We present a technique that masks failures in a cluster to provide high availability and fault-tolerance for long-running, parallelized dataflows. We can use these dataflows to im...
Mehul A. Shah, Joseph M. Hellerstein, Eric A. Brew...
SI3D
2009
ACM
14 years 3 months ago
Interactive water streams with sphere scan conversion
Fluid simulations require efficient dynamics, surface extraction and rendering in order to achieve real time interaction. We present a novel technique for the surface extraction ...
Rama Hoetzlein, Tobias Höllerer
DSVIS
2003
Springer
14 years 2 months ago
Architectures for Widget-Level Plasticity
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
Baha Jabarin, T. C. Nicholas Graham