4290 search results - page 167 / 858 » Formal Approaches to Teamwork |
173
click to vote
ESWS
2004
Springer
16 years 1 hour ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
161
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we introduce an algebraic approach to the foundations of data mining. Our approach is based upon two algebras of functions de ned over a common state space X and a ...
187
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
141
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
196
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...