1981 search results - page 176 / 397 » Model-Checking Hierarchical Structures |
125
Voted
MICCAI
2010
Springer
14 years 8 months ago
2010
Springer
Groupwise registration has been widely investigated in recent years due to its importance in analyzing population data in many clinical applications. To our best knowledge, most o...
75
Voted
AISC
2004
Springer
15 years 3 months ago
2004
Springer
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fa...
EUSFLAT
2001
14 years 11 months ago
2001
On the example of physics, we show that the traditional one-level description is not completely adequate. For a more adequate structure, a hierarchical description of uncertainty ...
84
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Tensegrity structures are stable 3-dimensional mechanical structures which maintain their form due to an intricate balance of forces between disjoint rigid elements and continuous...