Sciweavers

2226 search results - page 20 / 446
» Computable Analysis via Representations
Sort
View
WWW
2007
ACM
16 years 4 months ago
Optimal audio-visual representations for illiterate users of computers
We present research leading toward an understanding of the optimal audio-visual representation for illustrating concepts for illiterate and semi-literate users of computers. In ou...
Indrani Medhi, Archana Prasad, Kentaro Toyama
ISMIR
2001
Springer
196views Music» more  ISMIR 2001»
15 years 8 months ago
MUSART: Music Retrieval Via Aural Queries
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
William P. Birmingham
113
Voted
ISBI
2004
IEEE
16 years 4 months ago
Representing Multi-Figure Anatomical Objects
We use multi-figure m-reps to represent anatomical objects, such as human livers, with named components. Each component is represented as a single figure m-rep. These figures of t...
Qiong Han, Conglin Lu, Shawn Liu, Stephen M. Pizer...
ICLP
2005
Springer
15 years 9 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
15 years 10 months ago
Computing cylindrical algebraic decomposition via triangular decomposition
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang