545 search results - page 4 / 109 » A Dynamic Method for the Evaluation and Comparison of Imputa... |
SODA
2003
ACM
13 years 8 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
It is widely accepted in the medical community that breast tissue density is an important risk factor for the development of breast cancer. Thus, the development of reliable automa...
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
Next location prediction anticipates a person's movement based on the history of previous sojourns. It is useful for proactive actions taken to assist the person in an ubiquit...
KES
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. This paper evaluates feature extraction techniques in aspect of watermark synchronization. Most watermarking algorithms suffer from geometric distortion attacks that desy...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...