2312 search results - page 72 / 463 » Invariance in Property Testing |
BIOADIT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. How can artificial or natural agents autonomously gain understanding of its own internal (sensory) state? This is an important question not just for physically embodied ...
SGP
2003
13 years 11 months ago
2003
One of the challenges in 3D shape matching arises from the fact that in many applications, models should be considered to be the same if they differ by a rotation. Consequently, w...
FAC
2008
13 years 10 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
TSMC
1998
13 years 9 months ago
1998
—In this paper, we propose the volume between two surfaces normalized by the surface area (interpreted as average distance between two surfaces) as an invariant quantitative meas...
SIAMADS
2010
13 years 4 months ago
2010
The concept of weak stability boundary has been successfully used in the design of several fuel efficient space missions. In this paper we give a rigorous definition of the weak st...