Sciweavers

5624 search results - page 727 / 1125
» On Conditional Covering Problem
Sort
View
168
Voted
PUK
2000
15 years 6 months ago
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
Jana Koehler, Jörg Hoffmann
136
Voted
IJCAI
1997
15 years 6 months ago
Equational Reasoning using AC Constraints
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
David A. Plaisted, Yunshan Zhu
IJCAI
1997
15 years 6 months ago
Cooperation Structures
In order to cooperate effectively with its peers, an agent must manipulate representations of the social structures in which it plays a part. The purpose of this paper is to inves...
Mark d'Inverno, Michael Luck, Michael Wooldridge
141
Voted
INTERACT
1997
15 years 6 months ago
Robust Computer Vision for Computer Mediated Communication
In Computer Mediated Communication, static video cameras provide a restricted field of view of remote sites. The concept of virtual window has been introduced to alleviate this pro...
François Bérard, Joëlle Coutaz,...
164
Voted
WAE
2000
95views Algorithms» more  WAE 2000»
15 years 6 months ago
Two-Dimensional Arrangements in CGAL and Adaptive Point Location for Parametric Curves
Given a collection C of curves in the plane, the arrangement of C is the subdivision of the plane into vertices, edges and faces induced by the curves in C. Constructing arrangemen...
Iddo Hanniel, Dan Halperin