4266 search results - page 689 / 854 » A Framework for Defining Logics |
153
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
In this paper, we focus on methodology of finding a classifier with a minimal cost in presence of additional performance constraints. ROCCH analysis, where accuracy and cost are i...
146
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
138
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Emerging technologies offer new ways of using entertainment technology to foster interactions between players and connect people. Evaluating entertainment technology is challengin...
253
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
268
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...