489 search results - page 39 / 98 » A Formal Model for Process Context Learning |
GLVLSI
2009
IEEE
15 years 6 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
JMLR
2010
14 years 6 months ago
2010
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
100
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
101
click to vote
RECOMB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Interest point detectors are the starting point in image analysis for depth estimation using epipolar geometry and camera ego-motion estimation. With several detectors defined in ...