Sciweavers

359 search results - page 48 / 72
» Multi-state Directed Acyclic Graphs
Sort
View
114
Voted
SEMCO
2009
IEEE
15 years 6 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
106
Voted
COCOA
2007
Springer
15 years 5 months ago
On Threshold BDDs and the Optimal Variable Ordering Problem
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
Markus Behle
84
Voted
SPAA
2003
ACM
15 years 4 months ago
Quantifying instruction criticality for shared memory multiprocessors
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
Tong Li, Alvin R. Lebeck, Daniel J. Sorin
85
Voted
AUSAI
2003
Springer
15 years 4 months ago
BN+BN: Behavior Network with Bayesian Network for Intelligent Agent
Abstract. In the philosophy of behavior-based robotics, design of complex behavior needs the interaction of basic behaviors that are easily implemented. Action selection mechanism ...
Kyung-Joong Kim, Sung-Bae Cho
105
Voted
ICDM
2002
IEEE
173views Data Mining» more  ICDM 2002»
15 years 4 months ago
Mining Genes in DNA Using GeneScout
In this paper, we present a new system, called GeneScout, for predicting gene structures in vertebrate genomic DNA. The system contains specially designed hidden Markov models (HM...
Michael M. Yin, Jason Tsong-Li Wang