207 search results - page 30 / 42 » Canonical Forms for Data-Specifications |
CHI
2004
ACM
15 years 10 months ago
2004
ACM
People frequently write messages to themselves. These informal, hurried personal jottings serve as temporary storage for notable information as well as reminders for future action...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The mean of a data set is one trivial representation of data from one class. Recently, mutual interdependence analysis (MIA) has been successfully used to extract more involved re...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
101
click to vote
SG
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Volume datasets have been a primary representation for scientific visualization with the advent of rendering algorithms such as marching cubes and ray casting. Nonethele...