3348 search results - page 148 / 670 » Around and Around |
229
Voted
AGP
2010
IEEE
16 years 4 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
155
Voted
DATE
2010
IEEE
16 years 4 days ago
2010
IEEE
Abstract—As FPGA sizes and densities grow, their manufacturing yields decrease. This work looks toward reclaiming some of this lost yield. Several previous works have suggested f...
205
Voted
ACSC
2002
IEEE
16 years 14 hour ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
167
Voted
CA
2002
IEEE
16 years 11 hour ago
2002
IEEE
This article describes the architecture of the "Museum of Pure Form", a virtual reality system where the user can interact, through the senses of touch and sight, with d...
141
Voted
COMPSAC
2002
IEEE
16 years 10 hour ago
2002
IEEE
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...