511 search results - page 39 / 103 » Spelling Correction Using Context |
92
Voted
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
Accurately describing interactions between medical devices and anatomical structures, or between anatomical structures themselves, is an essential step towards the adoption of comp...
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
In numerous everyday domains, it has been demonstrated that increasing the number of options beyond a handful can lead to paralysis and poor choice and decrease satisfaction with ...
155
Voted
VL
2010
IEEE
14 years 11 months ago
2010
IEEE
-- In the past decade there has been spectacular growth in the number and size of third-party libraries, frameworks, toolkits and other Application Programming Interfaces (APIs) av...
127
Voted
IEEECIT
2006
IEEE
15 years 6 months ago
2006
IEEE
Efficient and robust routing is central to wireless sensor networks (WSN) that feature energy-constrained nodes, unreliable links, and frequent topology change. While most existi...
208
Voted
POPL
2006
ACM
16 years 28 days ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...