626 search results - page 13 / 126 » When Can Formal Methods Make a Real Difference |
118
click to vote
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
118
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
160
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
133
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a method for real-time 3D object detection
that does not require a time consuming training stage, and
can handle untextured objects. At its core, is a novel tem-
plat...
128
click to vote
AAAI
2008
15 years 5 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...