1981 search results - page 168 / 397 » Model-Checking Hierarchical Structures |
143
Voted
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
146
click to vote
VMV
2003
15 years 4 months ago
2003
This paper presents a method to capture human motion from silhouettes of a person in multi-view video streams. Applying a hierarchical kinematic body model motion parameters are e...
249
click to vote
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
143
click to vote
PAMI
2008
15 years 3 months ago
2008
Hierarchical clustering is a stepwise clustering method usually based on proximity measures between objects or sets of objects from a given data set. The most common proximity meas...
106
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...