Sciweavers

1982 search results - page 303 / 397
» Parametricity and dependent types
Sort
View
GRAPHICSINTERFACE
2008
14 years 11 months ago
Evaluation of techniques for visualizing mathematical expression recognition results
We present an experimental study that evaluates four different techniques for visualizing the machine interpretation of handwritten mathematics. Typeset in Place puts a printed fo...
Joseph J. LaViola Jr., Anamary Leal, Timothy S. Mi...
HCI
2007
14 years 11 months ago
An Architecture for Adaptive and Adaptable Mobile Applications for Physically Handicapped People
Context-awareness is an important capability needed in devices in a ubiquitous computing environment. Ubiquitous computing devices use different types of sensors along with the us...
Matthias Betz, Mahmudul Huq, Volkmar Pipek, Markus...
IIWAS
2007
14 years 11 months ago
Implementing Semantic Interoperability in Electronic Auctions
Electronic marketplaces can provide several types of business processes depending upon their target audience. A form of such processes is electronic auction. It is a system for ac...
Juha Puustjärvi
LREC
2008
145views Education» more  LREC 2008»
14 years 11 months ago
BOEMIE Ontology-Based Text Annotation Tool
The huge amount of the available information in the Web creates the need of effective information extraction systems that are able to produce metadata that satisfy user's inf...
Pavlina Fragkou, Georgios Petasis, Aris Theodorako...
LREC
2008
107views Education» more  LREC 2008»
14 years 11 months ago
An Experimental Methodology for an End-to-End Evaluation in Speech-to-Speech Translation
This paper describes the evaluation methodology used to evaluate the TC-STAR speech-to-speech translation (SST) system and their results from the third year of the project. It fol...
Olivier Hamon, Djamel Mostefa