1722 search results - page 323 / 345 » Ontology Formalism Transformation |
90
Voted
JCIT
2008
15 years 14 days ago
2008
Metric distances and the more general concept of dissimilarities are widely used tools in instance-based learning methods and very especially in the nearestneighbor classification...
93
Voted
JNS
2008
15 years 13 days ago
2008
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
105
Voted
JODS
2008
15 years 13 days ago
2008
A key aspect of any data integration endeavor is determining the relationships between the source schemata and the target schema. This schema integration task must be tackled regar...
87
Voted
KI
2008
Springer
15 years 13 days ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
ENTCS
2007
15 years 13 days ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...