Sciweavers

5243 search results - page 81 / 1049
» Reasoning About Strategies
Sort
View
63
Voted
OOPSLA
2010
Springer
14 years 11 months ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
98
Voted
BMVC
2010
14 years 10 months ago
Reducing mismatching under time-pressure by reasoning about visibility and occlusion
Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system....
Somkiat Wangsiripitak, David W. Murray
119
Voted
ISOLA
2010
Springer
14 years 10 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
123
Voted
FORTE
2009
14 years 10 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann