4075 search results - page 554 / 815 » Modeling Distributed Algorithm Using B |
186
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
190
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: Establishment of peptide binding to Major Histocompatibility Complex class I (MHCI) is a crucial step in the development of subunit vaccines and prediction of such bin...
190
click to vote
PVLDB
2008
15 years 6 months ago
2008
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
187
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present an example of a joint spatial and temporal task learning algorithm that results in a generative model that has applications for on-line visual control. We review work o...
174
click to vote
TAICPART
2006
IEEE
16 years 20 days ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...