75 search results - page 8 / 15 » Ownership: A case study in the representation of legal conce... |
DAGSTUHL
2007
13 years 9 months ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
WCRE
2008
IEEE
14 years 1 months ago
2008
IEEE
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...
SAC
2003
ACM
14 years 21 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper we present a new approach to visual servoing using lines. It is based on a theoretical and geometrical study of the main line representations which allows us to deï¬...
CP
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...