Sciweavers

8695 search results - page 357 / 1739
» Making the Complex Simple
Sort
View
ICIAP
1999
ACM
15 years 11 months ago
Cellular Automata Based Optical Flow Computation for "Just-in-Time" Applications
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...
Giovanni Adorni, Stefano Cagnoni, Monica Mordonini
IPPS
1998
IEEE
15 years 11 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
TIME
1997
IEEE
15 years 11 months ago
Modal Event Calculi with Preconditions
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
151
Voted
CHI
1993
ACM
15 years 11 months ago
Synthetic synesthesia: mixing sound with color
An interface is described that uses color and spatial relations to provide an intuitive interface for sound manipulation. A simple geometric shape, called the Geometric Sound Mixe...
Kristinn R. Thórisson, Karen Donoghue
UIST
1990
ACM
15 years 11 months ago
Glyphs: flyweight objects for user interfaces
Current user interface toolkits provide components that are complex and expensive. Programmers cannot use these components for many kinds of application data because the resulting...
Paul R. Calder, Mark A. Linton