8298 search results - page 1638 / 1660 » Amharic-English Information Retrieval |
WOLLIC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...
ISPAN
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
MSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Digital watermarking is the enabling technology to prove ownership on copyrighted material, detect originators of illegally made copies, monitor the usage of the copyrighted multi...
SIGMETRICS
2010
ACM
14 years 1 months ago
2010
ACM
Associative memories offer high levels of parallelism in matching a query against stored entries. We design and analyze an architecture which uses a single lookup into a Ternary C...