2199 search results - page 304 / 440 » Orientation Interpolation and Applications |
168
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
177
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
158
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a six degrees of freedom tracking system, which is wireless and scalable concerning the tracking volume and the number of devices being tracked. This is achieved by the...
167
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
177
click to vote
ASP
2003
Springer
15 years 11 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...