4615 search results - page 609 / 923 » Virtual Classes and Their Implementation |
186
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
175
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
164
click to vote
EEMMAS
2007
Springer
16 years 27 days ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
154
click to vote
ESA
2007
Springer
16 years 27 days ago
2007
Springer
We introduce a general framework for processing a set of curves defined on a continuous two-dimensional parametric surface, while sweeping the parameter space. We can handle plan...
189
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...