1999 search results - page 307 / 400 » Finding Reductions Automatically |
189
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
155
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
183
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Automatic image orientation detection for natural images is a useful, yet challenging research area. Humans use scene context and semantic object recognition to identify the corre...
180
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Classification algorithms and document representation approaches are two key elements for a successful document classification system. In the past, much work has been conducted to...
149
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...