3116 search results - page 484 / 624 » Positively dependent types |
143
click to vote
LREC
2010
15 years 8 months ago
2010
In this work we present further development of the SpLaSH (Spoken Language Search Hawk) project. SpLaSH implements a data model for annotated speech corpora integrated with textua...
170
click to vote
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
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...
166
click to vote
HCI
2007
15 years 8 months ago
2007
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...
181
click to vote
IIWAS
2007
15 years 8 months ago
2007
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...
186
click to vote
LREC
2008
15 years 8 months ago
2008
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...