11345 search results - page 121 / 2269 » Foundations of Computer Science |
ACMACE
2005
ACM
15 years 1 months ago
2005
ACM
Trans-reality games are games that take advantage of pervasive, mobile, ubiquitous, location-based and mixed reality technical infrastructures to create game spaces that can inclu...
113
click to vote
ECAI
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
MMMACNS
2005
Springer
15 years 4 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...