Sciweavers

8768 search results - page 278 / 1754
» Generalizing the notion of support
Sort
View
178
Voted
KR
2010
Springer
16 years 6 days ago
Understanding Ontological Levels
In this paper, I defend a multiplicative approach that distinguishes statues from amounts of matter, political entities from physical ones, qua entities (e.g. John qua Alitalia pa...
Claudio Masolo
213
Voted
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
15 years 11 months ago
Working Modes and Aspects in Fully Parallel Manipulators
The aim of this paper is to characterize the notion of aspect in the workspace and in the joint space for parallel manipulators. In opposite to the serial manipulators, the parall...
Damien Chablat, Philippe Wenger
IMPERIAL
1993
15 years 11 months ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
197
Voted
ESE
1990
128views Database» more  ESE 1990»
15 years 11 months ago
Characterizing Diagnoses
Most approaches to model-based diagnosis describe a diagnosis for a system as a set of failing components that explains the symptoms. In order to characterize the typically very l...
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
RTA
2010
Springer
15 years 11 months ago
Infinitary Rewriting: Foundations Revisited
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
Stefan Kahrs