5570 search results - page 904 / 1114 » Applications of Fair Testing |
146
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
125
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
176
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Interactively learning from a small sample of unlabeled examples is an enormously challenging task, one that often arises in vision applications. Relevance feedback and more recen...
150
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
142
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...