Sciweavers

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