4719 search results - page 631 / 944 » Newtonian program analysis |
198
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
172
click to vote
CIVR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents a task-based user evaluation of two contentbased image database browsing systems. The performance of the two systems is compared to that of a commerci...
171
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
170
Voted
SAT
2004
Springer
16 years 2 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
190
click to vote
IWPC
2003
IEEE
16 years 9 hour ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...