3619 search results - page 36 / 724 » Humor modeling in the interface |
104
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
103
click to vote
CAINE
2007
15 years 3 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
131
click to vote
ECBS
2010
IEEE
14 years 12 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
101
click to vote
EICS
2010
ACM
15 years 6 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
BC
2002
15 years 1 months ago
2002
ACT This study presents a computational framework that capitalizes on known human neuromechanical characteristics during limb movements in order to predict man-machine interactions...