Sciweavers

2863 search results - page 465 / 573
» Computer modelling and natural phenomena
Sort
View
DCOSS
2005
Springer
16 years 1 days ago
Macro-programming Wireless Sensor Networks Using Kairos
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
Ramakrishna Gummadi, Omprakash Gnawali, Ramesh Gov...
FOSSACS
2005
Springer
16 years 20 hour ago
Composition and Decomposition in True-Concurrency
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
Sibylle B. Fröschle
LCPC
2005
Springer
15 years 12 months ago
Code Transformations for One-Pass Analysis
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
Xiaogang Li, Gagan Agrawal
LPNMR
2005
Springer
15 years 12 months ago
Revisiting the Semantics of Interval Probabilistic Logic Programs
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
Alex Dekhtyar, Michael I. Dekhtyar
UIST
2004
ACM
15 years 12 months ago
Tangible NURBS-curve manipulation techniques using graspable handles on a large display
This paper presents tangible interaction techniques for fine-tuning one-to-one scale NURBS curves on a large display for automotive design. We developed a new graspable handle wit...
Seok-Hyung Bae, Takahiro Kobayash, Ryugo Kijima, W...