577 search results - page 79 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
IJSNET
2007
13 years 9 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
CI
1999
13 years 9 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
CIVR
2006
Springer
14 years 29 days ago
2006
Springer
Rushes footage are considered as cheap gold mine with the potential for reuse in broadcasting and filmmaking industries. However, it is difficult to mine the "gold" from ...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper, we propose a novel approach for scene modeling. The proposed method is able to automatically discover the intermediate semantic concepts. We utilize Maximization of...
ICA
2004
Springer
14 years 2 months ago
2004
Springer
We discuss a 3D spatial analysis of fMRI data taken during a combined word perception and motor task. The event - based experiment was part of a study to investigate the network of...