Sciweavers

5946 search results - page 827 / 1190
» Visual requirement representation
Sort
View
196
Voted
IDEAL
2010
Springer
15 years 5 months ago
Applying Clustering Techniques to Reduce Complexity in Automated Planning Domains
Automated Planning is a very active area of research within Artificial Intelligence. Broadly this discipline deals with the methods by which an agent can independently determine t...
Luke Dicken, John Levine
IGPL
2010
156views more  IGPL 2010»
15 years 5 months ago
Fusion of sequent modal logic systems labelled with truth values
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
João Rasga, Karina Roggia, Cristina Sernada...
CVPR
2010
IEEE
15 years 4 months ago
Compression of surface registrations using Beltrami coefficients
Surface registration is widely used in machine vision and medical imaging, where 1-1 correspondences between surfaces are computed to study their variations. Surface maps are usua...
Lok Ming Lui, Tsz Wai Wong, Paul M. Thompson, Tony...
EMNLP
2010
15 years 4 months ago
Turbo Parsers: Dependency Parsing by Approximate Variational Inference
We present a unified view of two state-of-theart non-projective dependency parsers, both approximate: the loopy belief propagation parser of Smith and Eisner (2008) and the relaxe...
André F. T. Martins, Noah A. Smith, Eric P....
ICIP
2010
IEEE
15 years 4 months ago
Curvature analysis of pattern transformation manifolds
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
Elif Vural, Pascal Frossard