5084 search results - page 259 / 1017 » Proving Possibility Properties |
221
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
173
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a large number of interactive visualization tools, however no universal tool exists that covers all relevant aspects for all possible application domains. We have develop...
132
click to vote
COLT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We propose simple randomized strategies for sequential prediction under imperfect monitoring, that is, when the forecaster does not have access to the past outcomes but r...
160
click to vote
HOLOMAS
2007
Springer
16 years 23 days ago
2007
Springer
To come to a deal, a bargaining process can sometimes take a long time. An auction may be a faster, but existing auction models cannot cope with situations where money is not an is...
168
click to vote
SCIA
2007
Springer
16 years 21 days ago
2007
Springer
In the area of quality control by vision, the reconstruction of 3D curves is a convenient tool to detect and quantify possible anomalies. Whereas other methods exist that allow us ...