Sciweavers

863 search results - page 88 / 173
» Computational Methods for Intelligent Information Access
Sort
View
111
Voted
CHI
2009
ACM
16 years 4 months ago
City browser: developing a conversational automotive HMI
This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to e...
Alexander Gruenstein, Bruce Mehler, Bryan Reimer, ...
TAPIA
2009
ACM
15 years 10 months ago
A platform-based design environment for synthetic biological systems
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
Douglas Densmore, Anne Van Devender, Matthew Johns...
145
Voted
SAC
2009
ACM
15 years 8 months ago
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Bernardo Gonçalves, Veruska Zamborlini, Gia...
144
Voted
TPHOL
2008
IEEE
15 years 10 months ago
A Type of Partial Recursive Functions
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
Ana Bove, Venanzio Capretta
137
Voted
HCI
2009
15 years 1 months ago
User Centered Design of a Learning Object Repository
This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...
Núria Ferran, Ana-Elena Guerrero-Rold&aacut...