15372 search results - page 2667 / 3075 » The Semantics of Semantic Annotation |
188
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...
230
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
213
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Diversity has been heavily motivated in the information retrieval literature as an objective criterion for result sets in search and recommender systems. Perhaps one of the most w...
186
click to vote
ACNS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
198
click to vote
ADG
2006
Springer
15 years 11 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...