Sciweavers

3381 search results - page 50 / 677
» Extending Dependencies with Conditions
Sort
View
130
Voted
AGP
1999
IEEE
15 years 10 months ago
Extending clp(FD) by Negative Constraint Solving
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
Antonio J. Fernández, Patricia M. Hill
FLAIRS
1998
15 years 7 months ago
Incorporating Specificity in Extended Logic Programs for Belief Revision
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Berilhes Borges Garcia, José Gabriel Pereir...
EACL
1989
ACL Anthology
15 years 7 months ago
Extended Graph Unification
We propose an apparently minor extension to Kay's (1985} notation for describing directed acyclic graphs (DAGs}. The proposed notation permits concise descriptions of phenome...
Allan Ramsay
ENTCS
2011
56views more  ENTCS 2011»
15 years 1 months ago
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)
d abstract) Andr´e Joyal 1 D´epartement des math´ematiques Universit´e du Qu´ebec `a Montr´eal Canada Joachim Kock 2 3 Departament de matem`atiques Universitat Aut`onoma de B...
André Joyal, Joachim Kock
CORR
2011
Springer
133views Education» more  CORR 2011»
14 years 9 months ago
An Extended Framework for Measuring the Information Capacity of the Human Motor System
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...
Teemu Roos, Antti Oulasvirta