2850 search results - page 454 / 570 » On Timed Models and Full Abstraction |
86
Voted
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
95
Voted
ICALP
1992
Springer
15 years 4 months ago
1992
Springer
Abstract Bernard Chazelle Department of Computer Science Princeton University Burton Rosenberg Department of Mathematics and Computer Science Dartmouth College We give a lower bou...
126
Voted
EPIA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose an incremental item-based collaborative filtering algorithm. It works with binary ratings (sometimes also called implicit ratings), as it is typi...
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
134
click to vote
DAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Training and evaluation of techniques for handwriting recognition and retrieval is a challenge given that it is difficult to create large ground-truthed datasets. This is...