1965 search results - page 159 / 393 » On the analysis of interacting pushdown systems |
HCI
2009
13 years 6 months ago
2009
This study tries to find the designing blind spots of the voice prompt function in the current car navigation systems and make improvement suggestions. The experimental plan was im...
MHCI
2005
Springer
14 years 2 months ago
2005
Springer
Mobile computer technologies are increasingly being appropriated and used to facilitate people’s social life outside the work domain. Addressing this emerging domain of use, we ...
CSMR
2004
IEEE
14 years 23 days ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
NAR
2011
12 years 12 months ago
2011
P2CS (http://www.p2cs.org) is a specialized database for prokaryotic two-component systems (TCSs), virtually ubiquitous signalling proteins which regulate a wide range of physiolo...
CHI
2003
ACM
14 years 2 months ago
2003
ACM
This study assessed the value of two video configurations—a head-mounted camera with eye tracking capability and a scene camera providing a view of the work environment—on rem...