16725 search results - page 3036 / 3345 » Engineering Software Correctness |
164
Voted
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
166
click to vote
AND
2009
15 years 2 months ago
2009
In this paper, we propose a new comprehensive methodology in order to evaluate the performance of noisy historical document recognition techniques. We aim to evaluate not only the...
168
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
162
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
The ability to aggregate huge volumes of queries over a large population of users allows search engines to build precise models for a variety of query-assistance features such as ...
184
Voted
WSDM
2012
ACM
14 years 8 days ago
2012
ACM
One popular form of semantic search observed in several modern search engines is to recognize query patterns that trigger instant answers or domain-specific search, producing sem...