1155 search results - page 153 / 231 » A Decision-Theoretic Model of Assistance |
100
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
114
click to vote
DOLAP
1999
ACM
15 years 2 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
LCPC
1995
Springer
15 years 1 months ago
1995
Springer
Heterogeneous parallel systems incorporate diverse models of parallelism within a single machine or across machines and are better suited for diverse applications 25, 43, 30]. Thes...
BIRD
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
120
click to vote
IRCDL
2008
14 years 11 months ago
2008
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...