4460 search results - page 445 / 892 » Formal methods for interactive systems |
147
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Creativity is indispensable for more innovative interactive system development. This tutorial is relevant to anyone involved in large projects that are exploiting new technologies...
125
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Applications supporting navigation in large networks are used every days by millions of people. They include road map navigators, ight route visualization systems, and network vis...
170
click to vote
VRST
2004
ACM
16 years 8 days ago
2004
ACM
An important, potential application of image-based techniques is to create photo-realistic image-based environments for interactive walkthrough. However, existing image-based stud...
164
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
169
click to vote
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...