386 search results - page 63 / 78 » A Consistent Semantics of Self-adjusting Computation |
169
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We study the problem of object classification when training
and test classes are disjoint, i.e. no training examples of
the target classes are available. This setup has hardly be...
127
click to vote
NDSS
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
208
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
127
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
107
click to vote
LAWEB
2005
IEEE
15 years 7 months ago
2005
IEEE
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...