1566 search results - page 147 / 314 » On a Cone Covering Problem |
121
Voted
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
142
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
165
Voted
HCI
2007
15 years 6 months ago
2007
User interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environment) while preserving usability. Our approach to this proble...
129
Voted
EACL
2003
ACL Anthology
15 years 6 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
142
Voted
ICMAS
1998
15 years 6 months ago
1998
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...