3255 search results - page 487 / 651 » Combination of Abstractions in the ASTR |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
MOBIDE
1999
ACM
14 years 2 months ago
1999
ACM
The first mass-produced pervasive computing devices are starting to appear—the AutoPC, the Internet-connected ScreenFridge, and the combination Microwave Oven/Home Banking term...
CRYPTO
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
DAWAK
1999
Springer
14 years 2 months ago
1999
Springer
A Data Warehouse DW can be abstractly seen as a set of materialized views de ned over relations that are stored in distributed heterogeneous databases. The selection of views for...
DL
1999
Springer
14 years 2 months ago
1999
Springer
Three types of video surrogates visual (keyframes), verbal (keywords/phrases), and visual and verbal were designed and studied in a qualitative investigation of user cognitive pro...