1318 search results - page 242 / 264 » The formal semantics of the timeER model |
AAAI
2007
15 years 2 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
106
click to vote
ICEIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
112
click to vote
WWW
2004
ACM
16 years 14 days ago
2004
ACM
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
COORDINATION
2009
Springer
16 years 10 days ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
105
click to vote
VLSID
2002
IEEE
16 years 5 days ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...