10038 search results - page 1572 / 2008 » Model Checking for Managers |
182
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a recommender system based on Dynamically Structured Holographic Memory (DSHM), a cognitive model of associative memory that uses holographic reduced representations a...
163
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
The automatic detection of semantic events in users’ image and video collections is an important technique for content management and retrieval. In this paper we propose a novel...
188
click to vote
ISPAN
2008
IEEE
16 years 1 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
177
click to vote
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
QSM is a multicast engine designed to support a style of distributed programming in which application objects are replicated among clients and updated via multicast. The model req...
164
click to vote
SAINT
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe our development work of tools for data collection and data management for wearable and ubiquitous computing. By embedding different kinds of sensory devices on the us...