15 search results - page 3 / 3 » Explaining and Controlling Ambiguity in Dynamic Programming |
94
Voted
ENTCS
2006
15 years 18 days ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
116
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper presents a fast, accurate, and novel method for the problem of estimating the number of humans and their positions from background differenced images obtained from a si...
104
Voted
ICFP
2008
ACM
16 years 16 days ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
96
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Grasping the fruits of "emerging technologies" is an objective of many government priority programs in a knowledge-based and globalizing economy. We use the publication ...
115
Voted
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
Over the last decade, Message Passing Interface (MPI) has become a very successful parallel programming environment for distributed memory architectures such as clusters. However, ...