75 search results - page 8 / 15 » Ownership: A case study in the representation of legal conce... |
DAGSTUHL
2007
15 years 18 days 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...
91
Voted
WCRE
2008
IEEE
15 years 5 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
15 years 4 months 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
15 years 3 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
15 years 4 months 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...