Sciweavers

744 search results - page 122 / 149
» Observations on the Decidability of Transitions
Sort
View
CP
2006
Springer
14 years 23 days ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
GECCO
2006
Springer
134views Optimization» more  GECCO 2006»
14 years 21 days ago
The Baldwin effect under spatial isolation and autonomous reproduction
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...
H. L. Peng, J. C. Tay
ICPR
2010
IEEE
14 years 11 days ago
The Fusion of Deep Learning Architectures and Particle Filtering Applied to Lip Tracking
This work introduces a new pattern recognition model for segmenting and tracking lip contours in video sequences. We formulate the problem as a general nonrigid object tracking me...
Gustavo Carneiro, Jacinto Nascimento
APGV
2008
ACM
13 years 11 months ago
Perception-motivated interpolation of image sequences
We present a method for image interpolation which is able to create high-quality, perceptually convincing transitions between recorded images. By implementing concepts derived fro...
Timo Stich, Christian Linz, Christian Wallraven, D...
ADBIS
2006
Springer
160views Database» more  ADBIS 2006»
13 years 11 months ago
Data Ring: Let Us Turn the Net into a Database!
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
Serge Abiteboul, Neoklis Polyzotis