Sciweavers

6047 search results - page 574 / 1210
» Modeling with Extend
Sort
View
CP
2005
Springer
16 years 1 months ago
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
UML
2000
Springer
15 years 11 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
WSC
2001
15 years 8 months ago
A virtual environment for simulating manufacturing operations in 3D
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
Ravi Chawla, Amarnath Banerjee
TOCL
2008
102views more  TOCL 2008»
15 years 7 months ago
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
Helmut Seidl, Kumar Neeraj Verma
CVPR
2003
IEEE
16 years 9 months ago
Nonparametric Belief Propagation
In many applications of graphical models arising in computer vision, the hidden variables of interest are most naturally specified by continuous, non-Gaussian distributions. There...
Erik B. Sudderth, Alexander T. Ihler, William T. F...