3865 search results - page 552 / 773 » From Bidirectionality to Alternation |
154
click to vote
ENTCS
2002
15 years 6 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
142
click to vote
JCSS
2000
15 years 6 months ago
2000
We investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically ...
177
click to vote
IJCV
2002
15 years 6 months ago
2002
Abstract. A new, exemplar-based, probabilistic paradigm for visual tracking is presented. Probabilistic mechanisms are attractive because they handle fusion of information, especia...
160
click to vote
AROBOTS
1999
15 years 6 months ago
1999
This paper outlines aspects of locomotor control in insects that may serve as the basis for the design of controllers for autonomous hexapod robots. Control of insect walking can b...
135
click to vote
ARTMED
1999
15 years 6 months ago
1999
In this paper, we describe how user-adapted explanations about drug prescriptions can be generated from already existing data sources. We start by illustrating the two-step approa...