Sciweavers

1631 search results - page 148 / 327
» Observing Functional Logic Computations
Sort
View
131
Voted
AIPS
2006
15 years 5 months ago
Safe LTL Assumption-Based Planning
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
Alexandre Albore, Piergiorgio Bertoli
ICSOC
2009
Springer
15 years 1 months ago
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...
ECCV
2004
Springer
16 years 5 months ago
Optimal Importance Sampling for Tracking in Image Sequences: Application to Point Tracking
Abstract. In this paper, we propose a particle filtering approach for tracking applications in image sequences. The system we propose combines a measurement equation and a dynamic ...
Étienne Mémin, Elise Arnaud
103
Voted
DANCE
2002
IEEE
15 years 8 months ago
An Active Networking Approach to Service Customization
Active networking is a powerful technology to insert new functionality into the networking. In this paper we look at how active networking technology can be used to customize netw...
Peter Steenkiste, Prashant R. Chandra, Jun Gao, Sy...
117
Voted
CG
2010
Springer
15 years 1 months ago
Rook Jumping Maze Design Considerations
We define the Rook Jumping Maze, provide historical perspective, and describe a generation method for such mazes. When applying stochastic local search algorithms to maze design, m...
Todd W. Neller, Adrian Fisher, Munyaradzi T. Choga...