4573 search results - page 652 / 915 » Automated Reasoning |
197
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
176
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
While the collection of behavioral protocols has been common practice in human-computer interaction research for many years, the analysis of large protocol data sets is often extr...
165
click to vote
CP
2005
Springer
16 years 23 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
186
click to vote
SAT
2005
Springer
16 years 21 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
301
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
In order to support continuous queries over data streams, a plethora of suitable techniques as well as prototypes have been developed and evaluated in recent years. In particular,...