511 search results - page 32 / 103 » Spelling Correction Using Context |
105
click to vote
TVCG
2010
14 years 11 months ago
2010
—We develop an interactive analysis and visualization tool for probabilistic segmentation in medical imaging. The originality of our approach is that the data exploration is guid...
93
Voted
ICIAR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Random Amplified Polymorphism DNA (RAPD) analysis is a wellknown method for studying genetic relationships between individuals. In this context, processing the underlying...
HCI
2007
15 years 2 months ago
2007
Accessibility implementation efforts are generally focused towards some typical user impairments and a few interaction devices for a particular user scenario. Whereas there are num...
109
Voted
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
244
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....