2849 search results - page 292 / 570 » As We Should Have Thought |
182
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
153
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Guidelines for designing information charts often state that the presentation should reduce ‗chart junk‘ – visual embellishments that are not essential to understanding the ...
161
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
145
click to vote
PAM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Due to the significant increase of peer-to-peer (P2P) traffic in the past few years, more attentions are put on designing effective methodologies of monitoring and ide...
142
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
In order to achieve genuine web intelligence, building some kind of large general machine-readable conceptual scheme (i.e. ontology) seems inescapable. Yet the past 20 years have ...