2805 search results - page 312 / 561 » Modeling Memory for Melodies |
192
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
230
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
155
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a model-based analysis of errors in expert use of graphical user interfaces. Two mechanisms, speed-accuracy tradeoffs and attention failures, were simulated b...
179
Voted
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
Prompted by demands for portability and low-cost packaging, the electronics industry has begun to view power consumption as a critical design criteria. As such there is a growing ...
168
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper explores the use of alternating sequential patterns of local features and saccading actions to learn robust and compact object representations. The temporal encoding rep...