Sciweavers

28 search results - page 5 / 6
» Evaluating an Agent-Oriented Approach for Change Propagation
Sort
View
SIGCOMM
2004
ACM
14 years 27 days ago
Locating internet routing instabilities
This paper presents a methodology for identifying the autonomous system (or systems) responsible when a routing change is observed and propagated by BGP. The origin of such a rout...
Anja Feldmann, Olaf Maennel, Zhuoqing Morley Mao, ...
JMM2
2006
141views more  JMM2 2006»
13 years 7 months ago
Human Tracking by Fast Mean Shift Mode Seeking
Change detection by background subtraction is a common approach to detect moving foreground. The resulting difference image is usually thresholded to obtain objects based on pixel ...
Csaba Beleznai, Bernhard Frühstück, Hors...
ISBI
2008
IEEE
14 years 8 months ago
Towards digital representation of Drosophila embryogenesis
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
Stephan Preibisch, Radoslaw Ejsmont, Torsten Rohlf...
SAC
2006
ACM
13 years 7 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
FASE
2004
Springer
14 years 26 days ago
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
Alexander Egyed