11017 search results - page 267 / 2204 » Closure Systems and their Structure |
158
click to vote
CAV
2007
Springer
16 years 4 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
147
click to vote
IJCNN
2006
IEEE
16 years 4 hour ago
2006
IEEE
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...
179
click to vote
IROS
2006
IEEE
16 years 23 min ago
2006
IEEE
- This paper introduces a new perceptual model for Monte Carlo Localization (MCL). In our approach a 3D laser scanner is used to observe the ceiling. The MCL matches ceiling struct...
136
click to vote
CSCW
2006
ACM
15 years 12 months ago
2006
ACM
Persistence of conversations has been found to be a useful feature in group chat tools. When conversations are stored and made accessible to all members of a group, they can facil...
162
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...