2446 search results - page 206 / 490 » First Smart Spaces |
110
click to vote
POS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
155
click to vote
SIGMOD
1995
ACM
15 years 7 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
139
click to vote
BMVC
2002
15 years 6 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...
101
click to vote
AAAI
2008
15 years 6 months ago
2008
Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete meth...
147
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...