898 search results - page 28 / 180 » Transitions of the Pre-Symmetry Set |
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
— Wearable, mobile computing platforms are envisioned to be used in out-patient monitoring and care. These systems continuously perform signal filtering, transformations, and cla...
FUIN
2006
14 years 9 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...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
GRAPHICSINTERFACE
2001
14 years 11 months ago
2001
Simplification techniques have mainly been applied on static models. However in movie and game industries, many models are designed to be animated. We extend the progressive mesh ...
JAR
1998
14 years 9 months ago
1998
It is shown how self-resolving clauses like symmetry or transitivity, or even clauses like condensed detachment, can faithfully be deleted from the clause set thus eliminating or ...