Sciweavers

3573 search results - page 85 / 715
» Reasoning about Codata
Sort
View
OOPSLA
2010
Springer
15 years 1 months ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
BMVC
2010
15 years 1 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
FSTTCS
2010
Springer
15 years 1 months ago
Reasoning About Strategies
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
ISOLA
2010
Springer
15 years 1 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...