4460 search results - page 680 / 892 » Formal methods for interactive systems |
132
Voted
IWC
2000
15 years 4 months ago
2000
Intelligent user interfaces have been proposed as a means to overcome some of the problems that directmanipulation interfaces cannot handle, such as: information overflow problems...
227
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
137
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
141
click to vote
SI3D
2009
ACM
15 years 11 months ago
2009
ACM
Lines drawn over or in place of shaded 3D models can often provide greater comprehensibility and stylistic freedom that shading alone. A substantial challenge for making stylized ...
151
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper deals with the problem of bilateral haptic control in nanorobotics. At this scale, a human operator cannot interact directly with objects. He needs special tools man...