Sciweavers

923 search results - page 83 / 185
» On the Computation of Relational View Complements
Sort
View
GTTSE
2007
Springer
16 years 11 days ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens
FOSSACS
2005
Springer
15 years 11 months ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane
CONTEXT
2003
Springer
15 years 11 months ago
A SAT-Based Algorithm for Context Matching
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
Paolo Bouquet, Bernardo Magnini, Luciano Serafini,...
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 11 months ago
Autonomous feature-based exploration
: The performance of single-camera SLAM is improved when wide-angle optics provide a field of view greater than the 40 to 50 degrees lenses normally used in computer vision. The is...
Paul M. Newman, Michael Bosse, John J. Leonard
ACCV
2009
Springer
16 years 24 days ago
Twisted Cubic: Degeneracy Degree and Relationship with General Degeneracy
Fundamental matrix, drawing geometric relationship between two images, plays an important role in 3-dimensional computer vision. Degenerate configurations of space points and two ...
Tian Lan, Yihong Wu, Zhanyi Hu