674 search results - page 37 / 135 » Subwebs for specialized search |
CAV
1999
Springer
13 years 12 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
This paper presents a search algorithm for finding functions that are highly correlated with an arbitrary set of data. The functions found by the search can be used to approximate...
DBISP2P
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we describe the design of PIRS, a peer-topeer information retrieval system. PIRS satisfies many of the goals of P2P computing in a way that other P2P IR s...
VRML
2003
ACM
14 years 28 days ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...
ALGORITHMICA
2000
13 years 7 months ago
2000
We study the problem of minimizing the expected cost of binary searching for data where the access cost is not fixed and depends on the last accessed element, such as data stored i...