Sciweavers

313 search results - page 7 / 63
» Preprocessors from an Abstract Point of View
Sort
View
134
Voted
ICCV
1998
IEEE
15 years 7 months ago
Detecting Changes in Aerial Views of Man-Made Structures
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
Andres Huertas, Ramakant Nevatia
COMGEO
2010
ACM
15 years 3 months ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
146
Voted
WOA
2010
15 years 1 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
121
Voted
PAM
2012
Springer
13 years 11 months ago
Characterizing Delays in Norwegian 3G Networks
Abstract. This paper presents a first look at long-term delay measurements from data connections in 3 Norwegian 3G Networks. We have performed active measurements for more than 6 ...
Ahmed Elmokashfi, Amund Kvalbein, Jie Xiang, Krist...
105
Voted
AISC
2004
Springer
15 years 8 months ago
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
Bruno Buchberger