5740 search results - page 975 / 1148 » Application of Level Set Methods in Computer Vision |
124
click to vote
ICCAD
2009
IEEE
15 years 4 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
121
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
The role of the operating system (OS) in managing shared resources such as CPU time, memory, peripherals, and even energy is well motivated and understood [23]. Unfortunately, one...
121
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
140
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of evolutionary events acting at the population level, like recombin...
126
click to vote
VRCAI
2004
ACM
15 years 7 months ago
2004
ACM
This paper concerns the application of pattern classification techniques to the domain of augmented reality. In many augmented reality applications, one of the ways in which info...