19003 search results - page 303 / 3801 » We Need Assurance |
172
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
184
click to vote
OSN
2008
15 years 5 months ago
2008
We describe the practical and fundamental limitations of the more prominent optical buffering approaches. The architectural implementation and needs of an optical packet switch ar...
160
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we consider several multivariate extensions of comonotonicity. We show that naive extensions do not enjoy some of the main properties of the univariate concept. In o...
160
click to vote
DLOG
2010
15 years 4 months ago
2010
The least common subsumer (lcs) w.r.t general EL-TBoxes does not need to exists in general due to cyclic axioms. In this paper we present an algorithm for computing role-depth boun...
139
click to vote
ICWSM
2009
15 years 4 months ago
2009
We present a tool BlogTrackers, which assists sociologists to track and analyze blogs of particular interests by designing and integrating unique features. We present an overview ...