15614 search results - page 158 / 3123 » The State of State |
134
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Inference in Markov Decision Processes has recently received interest as a means to infer goals of an observed action, policy recognition, and also as a tool to compute policies. ...
119
Voted
CHI
2006
ACM
16 years 4 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...
167
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
110
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
Given a sufficiently good network connection, even a handheld computer can run extremely resource-intensive applications by executing the demanding portions on a remote server. At...
144
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Given the increasing investment on information technology (IT) and Web site features, it becomes crucial to measure reliably the impact of these characteristics on the overall qua...