1364 search results - page 201 / 273 » Comparative Branching-Time Semantics |
146
click to vote
FUIN
2010
15 years 2 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
139
Voted
CANS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Predicate encryption is a new powerful cryptographic primitive which allows for fine-grained access control for encrypted data: the owner of the secret key can release pa...
164
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
The explosive increase of image data on Internet has made it an important, yet very challenging task to index and automatically annotate image data. To achieve that end, sophistic...
138
click to vote
DLOG
2011
14 years 7 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
118
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper presents a novel method for detecting scale
invariant keypoints. It fills a gap in the set of available
methods, as it proposes a scale-selection mechanism for
juncti...