14386 search results - page 206 / 2878 » Algorithms for user interfaces |
220
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
221
click to vote
CGA
2011
14 years 10 months ago
2011
We present a data-driven algorithm for interactive 3D human character posing. We formulate the problem in a maximum a posteriori (MAP) framework by combining the user’s inputs w...
165
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
The deep web contains an order of magnitude more information than the surface web, but that information is hidden behind the web forms of a large number of web sites. Metasearch e...
159
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
A predictive tool to simulate human visual search behavior would help interface designers inform and validate their design. Such a tool would benefit from a semantic component tha...