2585 search results - page 481 / 517 » computer 1999 |
FOCS
1999
IEEE
14 years 29 days ago
1999
IEEE
Various efforts ([?, ?, ?]) have been made in recent years to derandomize probabilistic algorithms using the complexity theoretic assumption that there exists a problem in E = dti...
STACS
1999
Springer
14 years 28 days ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
DIGITALCITIES
2003
Springer
14 years 1 months ago
2003
Springer
We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shopping, busines...