Sciweavers

51 search results - page 8 / 11
» The Importance of Rule Restrictions in CCG
Sort
View
86
Voted
DLOG
2007
14 years 12 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
EVOTING
2004
89views Hardware» more  EVOTING 2004»
14 years 11 months ago
E-Voting and the Architecture of Virtual Space
: One of the basic principles of architecture is that of the relation between function and form. It is a common fact that in most cases form reveals or refers to function. Thus by ...
Anthoula Maidou, Hariton M. Polatoglou
DLOG
2010
14 years 7 months ago
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
ICRA
2009
IEEE
117views Robotics» more  ICRA 2009»
14 years 7 months ago
Temporal stabilization of discrete movement in variable environments: An attractor dynamics approach
The ability to generate discrete movement with distinct and stable time courses is important for interaction scenarios both between different robots and with human partners, for ca...
Matthias Tuma, Ioannis Iossifidis, Gregor Schö...
AGTIVE
2003
Springer
15 years 2 months ago
Specifying Pointer Structures by Graph Reduction
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
Adam Bakewell, Detlef Plump, Colin Runciman