Sciweavers

2226 search results - page 20 / 446
» Computable Analysis via Representations
Sort
View
WWW
2007
ACM
16 years 2 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
124
Voted
ISMIR
2001
Springer
196views Music» more  ISMIR 2001»
15 years 6 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
92
Voted
ISBI
2004
IEEE
16 years 2 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 7 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 8 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