4836 search results - page 119 / 968 » Exploring the Similarity Space |
177
click to vote
CAV
1992
Springer
15 years 10 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
162
click to vote
ESTIMEDIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— This paper presents an exploration framework which performs data assignment and access scheduling exploration for applications given a multilayer memory architecture. O...
173
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Our research addresses how to integrate exploration and localization for mobile robots. A robot exploring and mapping an unknown environment needs to know its own location, but it...
274
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
172
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Having a representative workload of the target domain of a microprocessor is extremely important throughout its design. The composition of a workload involves two issues: (i) whic...