1981 search results - page 274 / 397 » Model-Checking Hierarchical Structures |
SSPR
2004
Springer
14 years 2 months ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
CSB
2003
IEEE
14 years 2 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
The characteristics of irregular algorithms make a parallel implementation difficult, especially for PC clusters or clusters of SMPs. These characteristics may include an unpredi...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...