2850 search results - page 433 / 570 » On Timed Models and Full Abstraction |
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
The probabilistic threshold query (PTQ) is one of the most common queries in uncertain databases, where all results satisfying the query with probabilities that meet the threshold...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
140
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
114
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
121
click to vote
ASPLOS
2009
ACM
15 years 5 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...