5353 search results - page 685 / 1071 » Modelling Contexts in the Or-BAC Model |
203
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
We discuss and reflect on the importance of embodiment, context, and spatial proximity as they pertain to the sense of presence obtained by individuals in virtual environments. We...
204
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
As our technologies travel to new cultural contexts and our designs and methods engage new constituencies, both our design and analytical practices face significant challenges. We...
183
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
202
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
197
click to vote
CALCO
2009
Springer
16 years 2 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...