284 search results - page 23 / 57 » di 2006 |
IPL
2010
13 years 6 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
INFSOF
1998
13 years 7 months ago
1998
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
PR
2002
13 years 7 months ago
2002
Computing correspondences between pairs of images is fundamental to all structures from motion algorithms. Correlation is a popular method to estimate similarity between patches o...
FLAIRS
2006
13 years 9 months ago
2006
In this paper, we propose a novel framework for extractive summarization. Our framework allows the summarizer to adapt and improve itself. Experimental results show that our summa...
ANOR
2006
13 years 7 months ago
2006
We propose and formulate the vehicle routing problem with demand range (VRPDR), a new variation on the traditional vehicle routing problem. In the VRPDR, the delivery quantity for ...