5355 search results - page 514 / 1071 » Modules |
118
click to vote
TEI
2009
ACM
15 years 11 months ago
2009
ACM
Surfaces capable of modulating permeability have long been used in architecture for environmental control, but have remained largely unexplored as information displays. The advent...
TEI
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents our research toward the design and development of a library of electronic hardware modules called Blades and Tiles. Interaction hardware design with blades and...
145
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
126
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a novel approach to generating audio or visual heterogeneity by simulating multi-level habitat formation by ecosystemengineer organisms. Ecosystem engineers g...
128
click to vote
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
Modern Field Programmable Gate Arrays (FPGA) can be programmed with multiple soft-core processors. These solutions can be used for MultiProcessor Systems-on-Chip (MPSoCs) prototyp...