Sciweavers

8099 search results - page 1247 / 1620
» Higher-Order Task Models
Sort
View
COMPUTING
2006
130views more  COMPUTING 2006»
15 years 6 months ago
Factorized Solution of Lyapunov Equations Based on Hierarchical Matrix Arithmetic
We investigate the numerical solution of large-scale Lyapunov equations with the sign function method. Replacing the usual matrix inversion, addition, and multiplication by format...
Ulrike Baur, Peter Benner
CONSTRAINTS
2006
102views more  CONSTRAINTS 2006»
15 years 6 months ago
On Topological Consistency and Realization
Topological relations are important in various tasks of spatial reasoning, scene description and object recognition. The RCC8 spatial constraint language developed by Randell, Cui...
Sanjiang Li
CORR
2006
Springer
122views Education» more  CORR 2006»
15 years 6 months ago
Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
Majid Khayari, Stéphane Schneider, Isabelle...
ENTCS
2006
173views more  ENTCS 2006»
15 years 6 months ago
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
Tobe Toben, Bernd Westphal
IJCV
2008
139views more  IJCV 2008»
15 years 6 months ago
Multilevel Image Coding with Hyperfeatures
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
Ankur Agarwal, Bill Triggs
« Prev « First page 1247 / 1620 Last » Next »