4460 search results - page 245 / 892 » Formal methods for interactive systems |
134
click to vote
FLAIRS
2001
15 years 6 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
166
click to vote
COMSIS
2010
15 years 2 months ago
2010
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
166
click to vote
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
146
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Ontology matching plays a key role for semantic interoperability. Many methods have been proposed for automatically finding the alignment between heterogeneous ontologies. However...
154
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...