2215 search results - page 152 / 443 » Rationality and Digital Technology |
139
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
271
click to vote
AISM
2004
15 years 7 months ago
2004
Electronic communications have become the most important kind of communications in business. However, trust, privacy and security have become the great challenges for business and...
172
click to vote
DARE
2000
15 years 7 months ago
2000
ABSTRACTABSTRACTABSTRACTABSTRACT This paper will discus aspects of applying augmented reality technologies in architecture through experiments conducted in full-scale, and seen thr...
157
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
We analyse query length, and fit power-law and Poisson distributions to four different query sets. We provide a practical model for query length, based on the truncation of a Pois...
160
click to vote
IDA
1998
Springer
15 years 6 months ago
1998
Springer
A fast and simple algorithm for approximately calculating the principal components (PCs) of a data set and so reducing its dimensionality is described. This Simple Principal Compo...