1955 search results - page 63 / 391 » Can Computers Handle Adverbs |
157
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
119
click to vote
BMVC
2000
15 years 5 months ago
2000
Foveal or spatially-variant image representations are important components of active vision systems. Log-polar sampling is a particularly powerful example as a result of the simpl...
121
Voted
COMGEO
2004
ACM
15 years 3 months ago
2004
ACM
We present a new algorithm for automatically solving jigsaw puzzles byshapealone.Thealgorithm cansolvemore difficult puzzlesthan couldbesolved before, without the use of backtracki...
142
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we propose a new algorithm for extending the hierarchical clustering methods and introduce a Multi-View Agglomerative Clustering approach to handle multi-view repre...
128
click to vote
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...