2372 search results - page 124 / 475 » is 2012 |
200
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
174
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
202
click to vote
JAIR
2012
13 years 9 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
193
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Content on the Internet is always changing. We explore the value of biasing search result snippets towards new webpage content. We present results from a user study comparing trad...
164
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
We give a fresh look into score normalization for merging result-lists, isolating the problem from other components. We focus on three of the simplest, practical, and widelyused l...