51 search results - page 8 / 11 » Observation Reduction for Strong Plans |
TMA
2010
Springer
14 years 2 months ago
2010
Springer
In this paper we study the structural evolution of the AS topology as inferred from two different datasets over a period of seven years. We use a variety of topological metrics to...
BC
2000
13 years 7 months ago
2000
This paper considers interaction of the human arm with ``virtual'' objects simulated mechanically by a planar robot. Haptic perception of spatial properties of objects is...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Cost effective SOC test strongly hinges on parallel, independent test of SOC cores, which can only be ensured through proper core isolation techniques. While a core isolation mech...
ISQED
2006
IEEE
14 years 1 months ago
2006
IEEE
- A low overhead circuit technique is proposed in this paper for simultaneously reducing subthreshold and gate oxide leakage currents in domino logic circuits. PMOS sleep transisto...
FUIN
2006
13 years 7 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...