6656 search results - page 62 / 1332 » Change, Change, Change: Three Approaches |
DAGSTUHL
2007
15 years 1 months ago
2007
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
115
click to vote
IVC
2008
14 years 12 months ago
2008
We present a method for efficiently generating a representation of a multi-modal posterior probability distribution. The technique combines ideas from RANSAC and particle filterin...
100
click to vote
JASIS
2006
14 years 11 months ago
2006
Almost all Web searches are carried out while the user is sitting at a conventional desktop computer, connected to the Internet. Although online, handheld, mobile search offers ne...
SIGSOFT
2010
ACM
14 years 6 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
119
click to vote
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...