3991 search results - page 51 / 799 » Bounding homogeneous models |
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
TCC
2005
Springer
14 years 1 months ago
2005
Springer
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...
AMC
2008
13 years 8 months ago
2008
This paper presents a parameter estimation algorithm for a class of Hammerstein nonlinear systems
AISB
1997
Springer
14 years 13 hour ago
1997
Springer
A technique for the credible modelling of economic agents with bounded rationality based on the evolutionary techniques is described. The genetic programming paradigm is most suite...
AAAI
2006
13 years 9 months ago
2006
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 its sens...