9405 search results - page 1616 / 1881 » Computing a Model of Set Theory |
177
Voted
ISQED
2002
IEEE
15 years 10 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
157
click to vote
KESAMSTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In Multi-Agent System, observing other agents and modelling their behaviour represents an essential task: agents must be able to quickly adapt to the environment and infe...
155
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
127
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper addresses the problem of path planning for a class of deformable volumes under fairly general manipulation constraints. The underlying geometric model for the volume is...
134
click to vote
CPM
1999
Springer
15 years 9 months ago
1999
Springer
We focus on the combinatorial analysis of physical mapping with repeated probes. We present computational complexity results, and we describe and analyze an algorithmic strategy. W...