3909 search results - page 488 / 782 » Extreme Model Checking |
153
click to vote
FGR
2008
IEEE
15 years 11 months ago
2008
IEEE
A typical automatic face recognition system is composed of three parts: face detection, face alignment and face recognition. Conventionally, these three parts are processed in a b...
146
click to vote
AOSD
2006
ACM
15 years 11 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
139
click to vote
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
XML retrieval is a departure from standard document retrieval in which each individual XML element, ranging from italicized words or phrases to full blown articles, is a potential...
144
click to vote
LISA
2007
15 years 7 months ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
163
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...