4126 search results - page 470 / 826 » Relationships with other Formalisms |
157
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...
178
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
177
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
207
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
198
click to vote
ARGMAS
2009
Springer
15 years 11 months ago
2009
Springer
Emotions play an important role in human decision making. This often has a beneficial effect, and so it is desirable to explore whether emotions can also play a role in agent dec...