1738 search results - page 317 / 348 » Local Consistency and SAT-Solvers |
IPOM
2007
Springer
14 years 1 months ago
2007
Springer
It is by now widely accepted that the arrival process of aggregate network traffic exhibits self-similar characteristics which result in the preservation of traffic burstiness (hig...
ISVC
2007
Springer
14 years 1 months ago
2007
Springer
Optical motion capture can be classified as an inference problem: given the data produced by a set of cameras, the aim is to extract the hidden state, which in this case encodes t...
KI
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a mobile service robot that assists users in biological and pharmaceutical laboratories by carrying out routine jobs such as filling and transportation of micr...
LSSC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider the problem of wide-area large-scale text search over a peer-to-peer infrastructure. A wide-area search infrastructure with billions of documents and millions of searc...