1454 search results - page 59 / 291 » Stateful traits and their formalization |
139
click to vote
CHI
2006
ACM
16 years 6 months 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...
169
click to vote
IWANN
2009
Springer
16 years 20 days 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...
169
click to vote
AOSD
2004
ACM
15 years 11 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...
161
click to vote
LADS
2009
Springer
15 years 10 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...
166
click to vote
DAGM
2001
Springer
15 years 10 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...