9521 search results - page 407 / 1905 » Compiling with continuations, continued |
118
click to vote
IWPSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Today’s information technology society increasingly relies on software at all levels. Nevertheless, software quality generally continues to fall short of expectations, and softw...
137
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
144
Voted
WMTE
2005
IEEE
15 years 10 months ago
2005
IEEE
An additional platform for supporting learning in the same physical space in which it takes place, is now available owing to the continuous advancement of wireless and mobile tech...
147
click to vote
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
141
click to vote
COLT
2005
Springer
15 years 10 months ago
2005
Springer
In the machine learning community it is generally believed that graph Laplacians corresponding to a finite sample of data points converge to a continuous Laplace operator if the s...