Sciweavers

667 search results - page 20 / 134
» Learning to Model Sequences Generated by Switching Distribut...
Sort
View
ICML
2009
IEEE
16 years 15 days ago
A stochastic memoizer for sequence data
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
Frank Wood, Cédric Archambeau, Jan Gasthaus...
EDOC
2008
IEEE
15 years 1 months ago
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
Mohamed Ariff Ameedeen, Behzad Bordbar
BMCBI
2006
129views more  BMCBI 2006»
14 years 11 months ago
BIPAD: A web server for modeling bipartite sequence elements
Background: Many dimeric protein complexes bind cooperatively to families of bipartite nucleic acid sequence elements, which consist of pairs of conserved half-site sequences sepa...
Chengpeng Bi, Peter K. Rogan
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 6 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
JCP
2008
114views more  JCP 2008»
14 years 11 months ago
IntelligenTester - Test Sequence Optimization Framework using Multi-Agents
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
D. Jeya Mala, V. Mohan