2596 search results - page 316 / 520 » Gradual Typing for Objects |
127
click to vote
MKM
2004
Springer
15 years 9 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
121
click to vote
ROBOCUP
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we present a new approach for omnidirectional vision-based self-localization in the RoboCup Middle-Size League. The omnidirectional vision sensor is used as a range ...
121
click to vote
WCW
2004
Springer
15 years 9 months ago
2004
Springer
News on demand features user interaction, interdependent media and is used by different client types. These requirements are not yet accommodated by a single solution. We address ...
111
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper summarises the achievements of a multidisciplinary Bioinformatics project which has the objective of providing a general mechanism for efficient computerisation of type...
112
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
Constrictions on a surface are defined as simple closed curves whose length is locally minimal. In particular, constrictions are periodic geodesics. We use constrictions in order...