4983 search results - page 380 / 997 » order 2008 |
171
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we analyze the maximum likelihood decoding performance of non-regenerative cooperation employing Alamouti scheme. Specifically, we derive two closed-form express...
164
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
We present the results of experiments using terms from citations for scientific literature search. To index a given document, we use terms used by citing documents to describe that...
180
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
154
click to vote
ASWC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...
152
click to vote
AUSAI
2008
Springer
15 years 9 months ago
2008
Springer
The task of finding the optimum of some function f(x) is commonly accomplished by generating and testing sample solutions iteratively, choosing each new sample x heuristically on t...