Sciweavers

21430 search results - page 356 / 4286
» Abstract Effective Models
Sort
View
AUSAI
2006
Springer
15 years 10 months ago
Modular Bayesian Networks for Inferring Landmarks on Mobile Daily Life
Abstract. Mobile devices get to handle much information thanks to the convergence of diverse functionalities. Their environment has great potential of supporting customized service...
Keum-Sung Hwang, Sung-Bae Cho
CONCUR
2006
Springer
15 years 10 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ECTEL
2006
Springer
15 years 10 months ago
The L2C Project: Learning to Collaborate Through Advanced SmallWorld Simulations
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
Albert A. Angehrn, Thierry Nabeth
FSTTCS
2006
Springer
15 years 10 months ago
Approximation Algorithms for 2-Stage Stochastic Optimization Problems
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
Chaitanya Swamy, David B. Shmoys
CEC
2003
IEEE
15 years 10 months ago
Increasing the accuracy of a spam-detecting artificial immune system
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...
Terri Oda, Tony White