8499 search results - page 219 / 1700 » cans 2009 |
164
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Given two classifications, or lightweight ontologies, we compute the minimal mapping, namely the subset of all possible correspondences, called mapping elements, between them such ...
138
click to vote
SIPEW
2009
Springer
16 years 1 months ago
2009
Springer
The M/G/1 queue is a classical model used to represent a large number of real-life computer and networking applications. In this note, we show that, for coefficients of variation o...
171
click to vote
SSD
2009
Springer
16 years 1 months ago
2009
Springer
ELKI is a uni ed software framework, designed as a tool suitable for evaluation of dierent algorithms on high dimensional realvalued feature-vectors. A special case of high dimens...
172
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
288
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...