4166 search results - page 428 / 834 » Automating the constraining process |
127
click to vote
GD
2005
Springer
15 years 11 months ago
2005
Springer
In technical drawings and medical drawings/maps it is often common to explain certain features of the drawing by blocks of text that are arranged on its boundary. Bekos et. al. int...
125
click to vote
LACL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...
147
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
153
Voted
KES
2004
Springer
15 years 11 months ago
2004
Springer
This paper introduces a novel parallelised vision based intelligent controller for a Humanoid Robot system. This intelligent controller is simulated dynamically and its performance...
179
Voted
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...