3172 search results - page 467 / 635 » Combining Specification Techniques for Processes, Data and T... |
165
click to vote
SAMT
2007
Springer
16 years 17 days ago
2007
Springer
—In this paper we present a scalable and distributed system for image retrieval based on visual features and annotated text. This system is the core of the SAPIR project. Its arc...
178
click to vote
CA
1999
IEEE
15 years 10 months ago
1999
IEEE
The continuously increasing complexity of computer animationsmakes it necessary to rely on the knowledge of various experts to cover the different areas of computer graphics and a...
146
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
162
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
A robust segmentation is the most important part of an automatic character recognition system (e.g. document processing, license plate recognition etc.). In our contribution we pr...
247
click to vote
BDIM
2008
IEEE
16 years 28 days ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...