183 search results - page 19 / 37 » Reasoning About Assumptions in Graphs of Models |
ICML
1999
IEEE
14 years 9 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
GLVLSI
2009
IEEE
14 years 3 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...
INFORMATICASI
2010
13 years 5 months ago
2010
Research in privacy-preserving data publishing has revealed the necessity of accounting for an adversary's background knowledge when reasoning about the protection afforded b...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper describes a new approach to color image rendering for mixed reality applications. The approach has two steps. The first uses neural network based photometric stereo to ...
UML
2004
Springer
14 years 1 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...