11017 search results - page 122 / 2204 » Closure Systems and their Structure |
INTEGRATION
2008
13 years 8 months ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
MST
2006
13 years 8 months ago
2006
We consider the transition graphs of regular ground tree (or term) rewriting systems. The vertex set of such a graph is a (possibly infinite) set of trees. Thus, with a finite tree...
TROB
2008
13 years 8 months ago
2008
The ability to learn a map of the environment is important for numerous types of robotic vehicles. In this paper, we address the problem of learning a visual map of the ground usin...
ATVA
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
CDC
2009
IEEE
14 years 24 days ago
2009
IEEE
— Dynamic Bayesian Networks (DBNs) provide a systematic framework for robust online monitoring of dynamic systems. This paper presents an approach for increasing the efficiency ...