2819 search results - page 328 / 564 » Automatic Structures |
193
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
167
click to vote
VMCAI
2007
Springer
16 years 20 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
159
click to vote
ANSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
172
click to vote
GMAI
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes a method allowing the automatic multi-texturing and simulation of surface imperfections based on a cellular network. In this representation, networks of conne...
150
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...