1407 search results - page 41 / 282 » Cognition without content |
ISOLA
2007
Springer
14 years 4 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a Chinese news summarization method for the message services of news brief over cell phones. In this method, important sentences were first identified based on...
IEEEPACT
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes Compiler-Directed Content-Aware Prefetching (CDCAP), an integrated compiler and hardware approach for prefetching dynamic data structures. The approach utiliz...
VLDB
2001
ACM
14 years 2 months ago
2001
ACM
Previous research has demonstrated that space can be saved in a MultiMedia DataBase Management System (MMDBMS) by storing some of the data items virtually, meaning they are stored...
SIGMOD
2001
ACM
14 years 10 months ago
2001
ACM
From the standpoint of satisfying human's informationneeds, the current digital library (DL) systems suffer from the following two shortcomings: (i) inadequate high-level cog...