1805 search results - page 280 / 361 » A Theory of Closure Operators |
133
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
134
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
150
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
132
click to vote
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
140
click to vote
UIST
1999
ACM
15 years 8 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...