Sciweavers

4084 search results - page 628 / 817
» Constraints in spatial structures
Sort
View
KES
2008
Springer
15 years 3 months ago
Application Study in Decision Support with Fuzzy Cognitive Map
Fuzzy cognitive map is an approach to knowledge representation and inference; it emphasizes the connections of concepts as basic units for storing knowledge, and the structure that...
Yue He
JMIV
2006
94views more  JMIV 2006»
15 years 3 months ago
Geodesic Shooting for Computational Anatomy
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...
Michael I. Miller, Alain Trouvé, Laurent Yo...
LISP
2008
154views more  LISP 2008»
15 years 3 months ago
Types and trace effects for object orientation
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Christian Skalka
LRE
2008
100views more  LRE 2008»
15 years 3 months ago
LTAG-spinal and the Treebank
Abstract. We introduce LTAG-spinal, a novel variant of traditional Lexicalized Tree Adjoining Grammar (LTAG) with desirable linguistic, computational and statistical properties. Un...
Libin Shen, Lucas Champollion, Aravind K. Joshi
ENGL
2007
91views more  ENGL 2007»
15 years 3 months ago
RRT-based strategies for sensor-based exploration
—Real mobile robots should be able to build an abstract representation of the physical environment, in order to navigate and to work in such environment. We present a method for ...
Abraham Sánchez López, Judith Le&oac...