3591 search results - page 570 / 719 » Typing linear constraints |
153
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we describe the development of our BEST nano-robot soccer team composed of 5 robots, a vision system, and communication modules. Each nano-robot is designed with an...
163
click to vote
DBPL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
142
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
146
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
178
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
A “scoring rule” is an assignment of a value to every tuple (of varying sizes). This paper is concerned with the issue of how to modify a scoring rule to apply to the case whe...