14244 search results - page 2409 / 2849 » Modeling Program Predictability |
253
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
148
click to vote
EACL
2009
ACL Anthology
16 years 5 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
111
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
I have been active in SIGCHI since 1983, serving on the Executive Committee and many conference and program committees. After editing ACM TOCHI for six years, I explored the histo...
119
click to vote
HPCA
2003
IEEE
16 years 4 months ago
2003
IEEE
We present an active switch architecture to improve the performance of systems connected via system area networks. Our programmable active switches not only flexibly route packets...
140
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Fusion is a web-based system that enables end-users to rapidly and dynamically construct personalized visualization workspaces without programming. Users first use advanced data s...