507 search results - page 63 / 102 » Counterexample-Guided Abstraction Refinement |
129
click to vote
INTERACT
2003
15 years 4 months ago
2003
Abstract: Watching sports is a favorite pastime of many consumers. A more nomadic life style makes the traditional spectating venues unavailable. Designing a sports spectator exper...
109
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quality goals have to be under a special consideration during software architectural design. Evolvability constitutes a quality goal with a special relevance for business...
112
Voted
AROBOTS
2010
15 years 3 months ago
2010
Abstract This work introduces a self-supervised architecture for robust classification of moving obstacles in urban environments. Our approach presents a hierarchical scheme that r...
107
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
151
click to vote
ALGORITHMICA
2006
15 years 3 months ago
2006
Abstract. In this paper we prove the optimality and other properties of the -adic nonadjacent form: this expansion has been introduced in order to efficiently compute scalar multip...