1689 search results - page 150 / 338 » Refining abstract interpretations |
121
Voted
ECSA
2010
Springer
15 years 6 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...
128
click to vote
AROBOTS
2010
15 years 5 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...
165
click to vote
ALGORITHMICA
2006
15 years 5 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...
129
Voted
ALGORITHMICA
2006
15 years 5 months ago
2006
Abstract. An overpartition of an integer n is a partition where the last occurrence of a part can be overlined. We study the weight of the overlined parts of an overpartition count...
142
Voted
ENTCS
2008
15 years 5 months ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...