2477 search results - page 207 / 496 » First-Order Interactive Programming |
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents the design and testing of Kana Warrior, a new interface for basic Japanese character recognition based on a game-style user interface. Kana Warrior is a game d...
STOC
2010
ACM
14 years 6 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...
EUROITV
2007
Springer
14 years 3 months ago
2007
Springer
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
ISWC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...