1755 search results - page 194 / 351 » An efficient simulation algorithm based on abstract interpre... |
116
Voted
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a homography estimation method from the contours of planar regions. Standard projective invariants such as cross ratios or canonical frames based on hot points...
100
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Acyclic partitioning on combinational boolean networks has wide range of applications, from multiple FPGA chip partitioning to parallel circuit simulation. In this paper, we prese...
128
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Foreground and background segmentation is a typical problem in computer vision and medical imaging. In this paper, we propose a new learning based approach for 3D segment...
110
Voted
FORTE
2004
15 years 4 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
146
Voted
WEBI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...