6514 search results - page 611 / 1303 » Low-Knowledge Algorithm Control |
183
click to vote
NOSSDAV
2005
Springer
16 years 2 days ago
2005
Springer
We propose an efficient placement algorithm and per-disk prefetching method to effectively support interactive operations in the media server. Our placement policy is incorporate...
170
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
196
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
174
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—A medium access control (MAC) protocol is developed for wireless multimedia networks based on frequency division duplex (FDD) wideband code division multiple access (CDM...
152
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...