1268 search results - page 57 / 254 » One Logic to Use Them All |
NGITS
1999
Springer
14 years 2 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a method for key-frame selection of captured motion data. In many cases, it is desirable to obtain a compact representation of the human motion. Key-framing is...
KI
2002
Springer
13 years 9 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
RSCTC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
AOSD
2003
ACM
14 years 3 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...