8828 search results - page 1698 / 1766 » Formal methods in practice |
AI
2009
Springer
15 years 4 months ago
2009
Springer
This paper shows that a detailed, although non-emotional, description of event or an action can be a reliable source for learning opinions. Empirical results show the practical uti...
CANS
2009
Springer
15 years 4 months ago
2009
Springer
When users wish to establish wireless communication between their devices, the channel needs to be bootstrapped first. Usually, the channel is desired to be authenticated and con...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
No search engine is perfect. A typical type of imperfection is the preference misalignment between search engines and end users, e.g., from time to time, web users skip higherrank...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Vocabularies are the building blocks of the Semantic Web providing shared terminological resources for content indexing, information retrieval, data exchange, and content integrati...
EUROSSC
2009
Springer
15 years 4 months ago
2009
Springer
Several navigation situations can be imagined where visual cueing is not practical or unfeasible, and where the hands are required exclusively for a certain task. The utilization o...