Sciweavers

5243 search results - page 81 / 1049
» Reasoning About Strategies
Sort
View
OOPSLA
2010
Springer
15 years 4 months ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
BMVC
2010
15 years 4 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
ISOLA
2010
Springer
15 years 4 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...
FORTE
2009
15 years 4 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