4036 search results - page 804 / 808 » Formal Methods |
152
Voted
SIGGRAPH
2010
ACM
15 years 26 days ago
2010
ACM
This paper addresses the problem of remapping the disparity range of stereoscopic images and video. Such operations are highly important for a variety of issues arising from the p...
137
click to vote
CIKM
2010
Springer
15 years 14 days ago
2010
Springer
Ranking Web search results has long evolved beyond simple bag-of-words retrieval models. Modern search engines routinely employ machine learning ranking that relies on exogenous r...
146
Voted
CP
2010
Springer
15 years 13 days ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
124
Voted
OOPSLA
2010
Springer
15 years 8 days ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
108
click to vote
SPIN
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...