1981 search results - page 235 / 397 » Model-Checking Hierarchical Structures |
JIIS
2006
13 years 10 months ago
2006
For some years, data summarization techniques have been developed to handle the growth of databases. However these techniques are usually not provided with tools for enduserstoeffi...
JSA
2000
13 years 10 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
FUIN
2002
13 years 9 months ago
2002
Control of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls ar...
ACL
2010
13 years 8 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
AGI
2011
13 years 1 months ago
2011
Abstract. A novel approach to create a general vision system is presented. The proposed method is based on a visual grammar representation which is transformed to a Bayesian networ...