Sciweavers

2799 search results - page 88 / 560
» computing 1998
Sort
View
DAC
1998
ACM
15 years 6 months ago
Hybrid Verification Using Saturated Simulation
Adnan Aziz, James H. Kukula, Thomas R. Shiple
WAN
1998
Springer
15 years 6 months ago
SRP: a Scalable Resource Reservation Protocol for the Internet
Werner Almesberger, Tiziana Ferrari, Jean-Yves Le ...
ICNP
1998
IEEE
15 years 5 months ago
Reasoning About Active Network Protocols
Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W....
CAD
1998
Springer
15 years 1 months ago
Approximate development of trimmed patches for surface tessellation
Wonjoon Cho, Nicholas M. Patrikalakis, Jaime Perai...
COLING
1998
15 years 1 months ago
Selective Sampling for Example-based Word Sense Disambiguation
Atsushi Fujii, Kentaro Inui, Takenobu Tokunaga, Ho...