3965 search results - page 157 / 793 » Effectivity of Regular Spaces |
153
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
In the past, several attempts have been made to deal with the state space explosion problem by equipping a depth-first search (DFS) algorithm with a state cache, or by avoiding co...
157
click to vote
SAMOS
2005
Springer
15 years 12 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
157
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
The shared data space model has proven to be an effective paradigm for building distributed applications. However, building an efficient distributed implementation remains a chall...
174
click to vote
VISSYM
2004
15 years 7 months ago
2004
User interaction plays an integral part in the effective visualization of data and information. Typical interaction operations include navigation, selection, and distortion. A pro...
168
click to vote
AROBOTS
2008
15 years 6 months ago
2008
This paper presents a technique for dynamically reconfiguring search spaces in order to enable Bayesian autonomous search and tracking missions with moving targets. In particular, ...