2268 search results - page 280 / 454 » The Essence of Form Abstraction |
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— The mixed-signal processor performs digital vectormatrix multiplication using internally analog fine-grain parallel computing. The three-transistor CID/DRAM unit cell ...
107
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
110
click to vote
WISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
102
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
Organum Playtest is an interactive installation in which three players collaboratively navigate through a model of the human voice box, using their voices as a joystick. By asking...
120
Voted
SIGCSE
2005
ACM
15 years 7 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...