Sciweavers

6274 search results - page 640 / 1255
» Proofs, Programs, Processes
Sort
View
GRAMMARS
2002
119views more  GRAMMARS 2002»
15 years 7 months ago
Computational Complexity of Probabilistic Disambiguation
Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various li...
Khalil Sima'an
QUESTA
2000
68views more  QUESTA 2000»
15 years 7 months ago
Ergodicity of the BMAP/PH}/s/s+K retrial queue with PH-retrial times
Define the traffic intensity as the ratio of the arrival rate to the service rate. This paper shows that the BMAP/PH/s/s+K retrial queue with PH-retrial times is ergodic if and onl...
Qi-Ming He, Hui Li, Yiqiang Q. Zhao
PVLDB
2008
107views more  PVLDB 2008»
15 years 6 months ago
XTreeNet: democratic community search
We describe XTreeNet, a distributed query dissemination engine which facilitates democratization of publishing and efficient data search among members of online communities with p...
Emiran Curtmola, Alin Deutsch, Dionysios Logotheti...
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 5 months ago
The LASSO risk for gaussian matrices
We consider the problem of learning a coefficient vector x0 ∈ RN from noisy linear observation y = Ax0 + w ∈ Rn . In many contexts (ranging from model selection to image proce...
Mohsen Bayati, Andrea Montanari
RAS
2010
164views more  RAS 2010»
15 years 5 months ago
Towards performing everyday manipulation activities
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
Michael Beetz, Dominik Jain, Lorenz Mösenlech...