511 search results - page 82 / 103 » Composition of Semantic Relations: Model and Applications |
CSL
2009
Springer
15 years 6 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
105
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
IJMMS
2002
14 years 11 months ago
2002
Relations between mental and physical aspects of an agent can be of various types. Sensing and acting are among the more commonly modelled types. In agent modelling approaches ofte...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
102
click to vote
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
Web 2.0 applications have attracted a considerable amount of attention because their open-ended nature allows users to create lightweight semantic scaffolding to organize and shar...