875 search results - page 92 / 175 » Reasoning about Knowledge and Continuity |
107
click to vote
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
IJCAI
1989
14 years 11 months ago
1989
This paper describes SYNAPSIS, a parser for performing real-time understanding of spoken utterances in a parallel computational environment. Understanding continuous speech allowi...
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
EKAW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...