5451 search results - page 816 / 1091 » Typed Operational Semantics |
168
click to vote
IGPL
2010
15 years 3 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
198
click to vote
BICA
2010
15 years 28 days ago
2010
This paper investigates issues of robot's personalization and long-term adaptation in human-robot interaction (HRI). It demonstrates the design and first technical implementat...
166
click to vote
TAAS
2010
15 years 19 days ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
222
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
212
click to vote
DOCENG
2011
ACM
14 years 5 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...