7430 search results - page 451 / 1486 » Programming Applications in CIFF |
229
click to vote
IJRR
2008
15 years 6 months ago
2008
Bilateral symmetry is a salient visual feature of many man-made objects. In this paper, we present research that use bilateral symmetry to identify, segment and track objects in re...
191
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We propose a distributed algorithm for solving Euclidean metric realization problems arising from large 3D graphs, using only noisy distance information, and without any prior kno...
153
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
AJAX is a web application programming technique that allows portions of a web page to be loaded dynamically, separate from other parts of the web page. This gives the user a much ...
140
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...
166
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...