2647 search results - page 384 / 530 » Solving Term Inequalities |
166
click to vote
PAMI
2006
15 years 6 months ago
2006
A novel algorithm for pose and motion estimation using corresponding features and a Digital Terrain Map is proposed. Using a Digital Terrain (or Digital Elevation) Map (DTM/DEM) as...
162
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
196
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
185
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
193
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...