2432 search results - page 96 / 487 » Cryptographic logical relations |
150
click to vote
GEOINFO
2003
15 years 5 months ago
2003
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
148
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
161
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
139
click to vote
ASYNC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
133
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Combining statistical and relational learning receives currently a lot of attention. The majority of statistical relational learning approaches focus on density estimatio...