4460 search results - page 156 / 892 » Formal methods for interactive systems |
132
click to vote
CGF
2004
15 years 3 months ago
2004
This paper describes an interactive sketching system for 3D design/modeling that diverts from the conventional menu and button interfaces of CAD tools. The system, dubbed SMARTPAP...
271
Voted
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
Touch-sensitive displays seem like a natural and promising option for dealing with the increasing complexity of current in-vehicle information systems (IVIS), but since they can h...
136
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
133
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
122
click to vote
LREC
2008
15 years 5 months ago
2008
Nowadays portable devices such as smart phones can be used to capture the face of a user simultaneously with the voice input. Server based or even embedded dialogue system might u...