1071 search results - page 32 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
100
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
143
click to vote
RSCTC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
121
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach...
134
click to vote
COMPGEOM
2010
ACM
15 years 7 months ago
2010
ACM
We give a provably correct algorithm to reconstruct a kdimensional manifold embedded in d-dimensional Euclidean space. Input to our algorithm is a point sample coming from an unkn...
143
click to vote
DSRT
2005
IEEE
15 years 8 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...