7536 search results - page 332 / 1508 » The CLEAR 2007 Evaluation |
171
Voted
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
195
click to vote
WILF
2007
Springer
16 years 26 days ago
2007
Springer
In the resolution of group decision making problems where the consensus process can not be held face to face by the experts it is usually difficult for them to be able to identify ...
187
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Although skip lists were introduced as an alternative to balanced binary search trees (BSTs), we show that the skip list can be interpreted as a type of randomly-balanced BST whos...
182
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract--An integrated test scheduling methodology for multiprocessor System-on-Chips (SOC) utilizing the functional buses for test data delivery is described. The proposed method...
162
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...