4126 search results - page 465 / 826 » Relationships with other Formalisms |
273
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We identify and formalize a novel join operator for two spatial pointsets P and Q. The common influence join (CIJ) returns the pairs of points (p, q), p P, q Q, such that there e...
194
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. This paper addresses an approach toward tomographic reconstruction from rotational angiography data as it is generated by Carms in cardiac imaging. Since the rotational a...
207
click to vote
PODS
2004
ACM
16 years 7 months ago
2004
ACM
Continuous queries in a Data Stream Management System (DSMS) rely on time as a basis for windows on streams and for defining a consistent semantics for multiple streams and updata...
192
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
142
Voted
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
We construct an efficient delegatable anonymous credentials system. Users can anonymously and unlinkably obtain credentials from any authority, delegate their credentials to other ...