12373 search results - page 2101 / 2475 » Semi-Logarithmic Number Systems |
181
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
Traffic smoothing for delivery of online VBR media streams is one of the most important problems in designing multimedia systems. Given available client buffer and a window-slidin...
189
Voted
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
209
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
164
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
177
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...