Sciweavers

1151 search results - page 101 / 231
» Modelling Digital Circuits Problems with Set Constraints
Sort
View
MVA
1990
101views Computer Vision» more  MVA 1990»
13 years 11 months ago
Recognition of Parametrised Models from 3D Data
This paper describes work done as part of the Oxford AGV (Autonomous Guided Vehicle) project [2] towards recognition of classes of objects to be encountered in a factory environme...
Ian D. Reid
CSCLP
2008
Springer
13 years 12 months ago
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
Khalil Djelloul
CORR
2007
Springer
130views Education» more  CORR 2007»
13 years 10 months ago
Lagrangian Relaxation for MAP Estimation in Graphical Models
Abstract— We develop a general framework for MAP estimation in discrete and Gaussian graphical models using Lagrangian relaxation techniques. The key idea is to reformulate an in...
Jason K. Johnson, Dmitry M. Malioutov, Alan S. Wil...
CASES
2006
ACM
14 years 4 months ago
Methods for power optimization in distributed embedded systems with real-time requirements
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
Razvan Racu, Arne Hamann, Rolf Ernst, Bren Mochock...
IJPRAI
2000
83views more  IJPRAI 2000»
13 years 10 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...