13376 search results - page 2404 / 2676 » Problem Solving with |
155
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
185
click to vote
AMFG
2005
IEEE
15 years 6 months ago
2005
IEEE
Non-rigid 3D shape recovery is an inherently ambiguous problem. Given a specific rigid motion, different non-rigid shapes can be found that fit the measurements. To solve this am...
125
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
211
click to vote
ECAIW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
140
click to vote
AAAI
2010
15 years 5 months ago
2010
Crowd-sourcing is a recent framework in which human intelligence tasks are outsourced to a crowd of unknown people ("workers") as an open call (e.g., on Amazon's Me...