3555 search results - page 480 / 711 » Security-Critical System Development with Extended Use Cases |
192
click to vote
PODC
1990
ACM
15 years 9 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
156
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
149
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper proposes a method for computing a quasi-dense set of matching points between three views of a scene. The method takes a sparse set of seed matches between pairs of view...
146
click to vote
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
We improve the promising Colour by Correlation method for computational colour constancy by modifying it to work in a three dimensional colour space. The previous version of the al...
155
click to vote
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...