4099 search results - page 248 / 820 » A Framework for Interactive Proof |
161
click to vote
HCI
2009
15 years 4 months ago
2009
This paper describes the framework and development process of adaptive user interfaces within the OASIS project. After presenting a rationale for user interface adaptation to addre...
190
click to vote
CGF
2010
15 years 6 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
203
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
165
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing popularity of mobile devices has fostered the development of visualization applications for these devices. However, the reduced screen size and different interactio...
176
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...