2586 search results - page 289 / 518 » Automatic Abstraction for Congruences |
217
click to vote
DICTA
2009
15 years 7 months ago
2009
Abstract--The relationship between multiple cameras viewing the same scene may be discovered automatically by finding corresponding points in the two views and then solving for the...
162
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
184
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract: On mobile devices, navigating in high-resolution and high-density 2D information spaces, such as geographic maps, is a common and important task. In order to support this...
187
click to vote
ICGI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this article, we propose the use of suffix arrays to efficiently implement n-gram language models with practically unlimited size n. This approach, which is used with ...
140
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...