Sciweavers

410 search results - page 39 / 82
» Document Recognition System with Layout Structure Generator
Sort
View
JBI
2006
119views Bioinformatics» more  JBI 2006»
14 years 9 months ago
Automatic generation of spoken dialogue from medical plans and ontologies
This paper presents some research undertaken as part of the EU-funded HOMEY project, into the application of intelligent dialogue systems to healthcare systems. The work presented...
Martin Beveridge, John Fox
GRAPHICSINTERFACE
2007
14 years 11 months ago
Jump: a system for interactive, tangible queries of paper
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
Michael Terry, Janet Cheung, Justin Lee, Terry Par...
SIGSOFT
2006
ACM
15 years 3 months ago
Bit level types for high level reasoning
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
Ranjit Jhala, Rupak Majumdar
75
Voted
ICRA
2010
IEEE
127views Robotics» more  ICRA 2010»
14 years 8 months ago
Consistent mapping of multistory buildings by introducing global constraints to graph-based SLAM
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
Michael Karg, Kai M. Wurm, Cyrill Stachniss, Klaus...
SIGADA
2005
Springer
15 years 3 months ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco