2717 search results - page 258 / 544 » Evaluation in Context |
180
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
165
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Many missions are deemed dangerous or impractical to perform by humans, but can use collaborating, self-managing Unmanned Autonomous Vehicles (UAVs) which adapt their behaviour to ...
143
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Thus far, researchers have not investigated gender HCI issues in the context of end-user problem-solving software. Designers' ignorance of gender differences is particularly ...
157
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present results of a study that considers (a) gestures outside the context of a specific implementation and (b) their use in supporting secondary, rather than primary tasks in ...
249
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
We are interested in de ning and querying views in a huge and highly heterogeneous XML repository Web scale. In this context, view de nitions are very large and there is no appare...