4385 search results - page 615 / 877 » Abstraction for Concurrent Objects |
187
click to vote
AGTIVE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
179
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
166
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a qualitative shape description which has previously been proven to be useful for object categorisation. The description is based on a set of shape primitives ...
185
click to vote
EMMCVPR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We propose two differential geometric representations of planar shapes using: (i) direction functions and (ii) curvature functions, of their boundaries. Under either rep...
153
click to vote
EUSAI
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In indoor context awareness applications the location of people, devices or objects is often required. Ultrasound technology enables high resolution indoor position measu...