1632 search results - page 203 / 327 » On special numberings of hypergraphs |
181
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
148
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
The subject of this paper is a special class of closedchain manipulators. First, we analyze a family of twodegree-of-freedom (dof) five-bar planar linkages. Two Jacobian matrices ...
188
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
156
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
This paper introduces the concept of Adaptive Rooms, which are virtual environments able to dynamically adapt to users' needs, including `physical' and cognitive workflow...
154
click to vote
DIS
1998
Springer
15 years 10 months ago
1998
Springer
We consider the exact learning in the query model. We deal with all types of queries introduced by Angluin: membership, equivalence, superset, subset, disjointness and exhaustivene...