Sciweavers

5128 search results - page 79 / 1026
» When Abstraction Fails
Sort
View
ECCV
2004
Springer
15 years 11 months ago
Texture Boundary Detection for Real-Time Tracking
Abstract We propose an approach to texture boundary detection that only requires a line-search in the direction normal to the edge. It is therefore very fast and can be incorporate...
Ali Shahrokni, Tom Drummond, Pascal Fua
PADL
2009
Springer
15 years 10 months ago
Recycle Your Arrays!
Abstract. Purely functional arrays are notoriously difficult to implement and use efficiently due to the absence of destructive updates and the resultant frequent copying. Deforest...
Roman Leshchinskiy
ICSE
2007
IEEE-ACM
15 years 10 months ago
Is Code Still Moving Around? Looking Back at a Decade of Code Mobility
In the mid-nineties, mobile code was on the rise and, in particular, there was a growing interest in autonomously moving code components, called mobile agents. In 1997, we publish...
Antonio Carzaniga, Gian Pietro Picco, Giovanni Vig...
DIS
2009
Springer
15 years 4 months ago
OMFP: An Approach for Online Mass Flow Prediction in CFB Boilers
Abstract. Fuel feeding and inhomogeneity of fuel typically cause process fluctuations in the circulating fluidized bed (CFB) boilers. If control systems fail to compensate the ...
Indre Zliobaite, Jorn Bakker, Mykola Pechenizkiy
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...