4460 search results - page 606 / 892 » Formal methods for interactive systems |
165
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...
185
click to vote
HAPTICS
2007
IEEE
16 years 28 days ago
2007
IEEE
Geometric (proxy-based) haptic rendering algorithms are widely used in impedance-type haptic rendering. Such methods are useful for developing complex virtual environment because ...
152
click to vote
PREMI
2005
Springer
16 years 2 days ago
2005
Springer
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
150
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...
172
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...