1454 search results - page 59 / 291 » Stateful traits and their formalization |
87
Voted
CHI
2006
ACM
16 years 29 days ago
2006
ACM
We present Hover Widgets, a new technique for increasing the capabilities of pen-based interfaces. Hover Widgets are implemented by using the pen movements above the display surfa...
115
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
122
Voted
AOSD
2004
ACM
15 years 6 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
102
click to vote
LADS
2009
Springer
15 years 5 months ago
2009
Springer
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
100
Voted
DAGM
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...