4460 search results - page 267 / 892 » Formal methods for interactive systems |
188
click to vote
CGVR
2009
15 years 7 months ago
2009
Accurate calibration of a head mounted display (HMD) is essential both for research on the visual system and for realistic interaction with virtual objects. Yet, existing calibrati...
214
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
130
click to vote
HICSS
2008
IEEE
16 years 20 days ago
2008
IEEE
We describe questions that commonly arise in early-phase user research for new technology products concerning customer needs, priorities, and market definition. We suggest that me...
170
click to vote
IS
2010
15 years 3 months ago
2010
The routing in communication networks is typically a multicriteria decision making (MCDM) problem. However, setting the parameters of most used MCDM methods to fit the preferences ...
185
Voted
BMCBI
2006
15 years 6 months ago
2006
Background: Many different aspects of cellular signalling, trafficking and targeting mechanisms are mediated by interactions between proteins and peptides. Representative examples...