4460 search results - page 198 / 892 » Formal methods for interactive systems |
137
click to vote
ACISICIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
125
click to vote
MOC
2010
14 years 11 months ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
120
click to vote
CN
2004
15 years 4 months ago
2004
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
126
Voted
TOG
2008
15 years 4 months ago
2008
Animating natural human motion in dynamic environments is difficult because of complex geometric and physical interactions. Simulation provides an automatic solution to parts of t...
126
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Successful multi-target tracking requires locating the targets and labeling their identities. For the laser based tracking system, the latter becomes significantly more challen...