Sciweavers

4084 search results - page 434 / 817
» Constraints in spatial structures
Sort
View
ET
2000
145views more  ET 2000»
15 years 6 months ago
Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
Jaan Raik, Raimund Ubar
ETAI
2000
84views more  ETAI 2000»
15 years 6 months ago
Learning Stochastic Logic Programs
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...
Stephen Muggleton
TROB
2002
106views more  TROB 2002»
15 years 6 months ago
A dual neural network for bi-criteria kinematic control of redundant manipulators
A dual neural network is presented for the bi-criteria kinematic control of redundant manipulators. To diminish the discontinuity of minimum infinity-norm solutions, the kinematicc...
Yunong Zhang, Jun Wang, Yangsheng Xu
CIKM
2010
Springer
15 years 4 months ago
EntityEngine: answering entity-relationship queries using shallow semantics
We introduce EntityEngine, a system for answering entityrelationship queries over text. Such queries combine SQLlike structures with IR-style keyword constraints and therefore, ca...
Xiaonan Li, Chengkai Li, Cong Yu
FORMATS
2010
Springer
15 years 4 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar...