1508 search results - page 213 / 302 » A Toolbox of Level Set Methods |
MSR
2006
ACM
15 years 3 months ago
2006
ACM
Versioned and bug-tracked software systems provide a huge amount of historical data regarding source code changes and issues management. In this paper we deal with impact analysis...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
ICLP
1999
Springer
15 years 2 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
116
click to vote
DAGSTUHL
1996
14 years 11 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
115
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
The bounding box representation employed by many popular object detection models [3, 6] implicitly assumes all pixels inside the box belong to the object. This assumption makes th...