4469 search results - page 617 / 894 » A Language for Role Specifications |
171
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Research in context-aware systems shows that using context information enables the development of personalized mobile applications. The context acquisition process in a c...
167
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
This document describes experimentation performed as part of the Genoa Technology Integration Experiment (TIE). Achieved in two phases, the overarching assertion of the Genoa TIE ...
202
Voted
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
175
Voted
AAAI
2007
15 years 9 months ago
2007
The goal of the Virtual Humans Project at the University of Southern California’s Institute for Creative Technologies is to enrich virtual training environments with virtual hum...
192
click to vote
AAAI
2007
15 years 9 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...