Sciweavers

2917 search results - page 89 / 584
» Satisfying Interaction Constraints
Sort
View
ISBI
2002
IEEE
14 years 9 months ago
Volumetric constraints in 3D tomography applied to electron microscopy
3D Electron Microscopy aims at the reconstruction of density volumes corresponding to the mass distribution of macromolecules imaged with an electron microscope. There are many fa...
Carlos Oscar Sánchez Sorzano, Gabor T. Herm...
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
14 years 2 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
CDC
2008
IEEE
149views Control Systems» more  CDC 2008»
13 years 11 months ago
Distributed computation under bit constraints
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...
Ola Ayaso, Devavrat Shah, Munther A. Dahleh
ENTCS
2006
124views more  ENTCS 2006»
13 years 9 months ago
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
Shuvendu K. Lahiri, Madanlal Musuvathi
JMLR
2010
113views more  JMLR 2010»
13 years 3 months ago
Optimal Search on Clustered Structural Constraint for Learning Bayesian Network Structure
We study the problem of learning an optimal Bayesian network in a constrained search space; skeletons are compelled to be subgraphs of a given undirected graph called the super-st...
Kaname Kojima, Eric Perrier, Seiya Imoto, Satoru M...