Sciweavers

1489 search results - page 118 / 298
» The First Bug Report
Sort
View
ICES
1998
Springer
108views Hardware» more  ICES 1998»
15 years 8 months ago
Evolvable Hardware for Space Applications
This paper focuses on characteristics and applications of evolvable hardware (EHW) to space systems. The motivation for looking at EHW originates in the need for more autonomous ad...
Adrian Stoica, Alex S. Fukunaga, Ken Hayworth, Car...
130
Voted
LOPSTR
1998
Springer
15 years 8 months ago
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
Jeffrey Van Baalen, Steve Roach
138
Voted
VLDB
1997
ACM
169views Database» more  VLDB 1997»
15 years 8 months ago
Mining Insurance Data at Swiss Life
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
Jörg-Uwe Kietz, Ulrich Reimer, Martin Staudt
122
Voted
CHI
1994
ACM
15 years 8 months ago
The "silk cursor": investigating
This study investigates dynamic 3D target acquisition. The focus is on the relative effect of specific perceptual cues. A novel technique is introduced and we report on an experim...
Shumin Zhai, William Buxton, Paul Milgram
DISCO
1993
114views Hardware» more  DISCO 1993»
15 years 8 months ago
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
Michael B. Monagan