16616 search results - page 357 / 3324 » Extending Extended Vacuity |
182
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
Treemaps support visualization of large hierarchical information spaces. The treemap generation algorithm is straightforward and application prototypes have only minimal hardware ...
173
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
167
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
177
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
189
Voted
ISER
2000
Springer
15 years 10 months ago
2000
Springer
:We present a comparison of an extended Kalman lter and an adaptation of bundle adjustment from computer vision for mobile robot localization and mapping using a bearing-only senso...