469 search results - page 8 / 94 » A Modal Analysis of Staged Computation |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
AMDO
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. The paper presents an approach for matching objects in dynamic pedobarography image sequences, based on finite element modeling and modal analysis. The determination of c...
DLOG
2006
13 years 9 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
CHI
1994
ACM
13 years 11 months ago
1994
ACM
Human face-to-face conversation is an ideal model for human-computer dialogue. One of the major features of face-to-face communication is its multiplicity of communication channel...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We propose a semi-supervised model which segments and annotates images using very few labeled images and a large unaligned text corpus to relate image regions to text labels. Give...