9067 search results - page 1778 / 1814 » Adaptive Model Checking |
114
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We present an approach for automatically generating complete process plans, including xturing and CNC code, from high level shape feature part descriptions. The demonstration syst...
132
click to vote
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
—Although IP Multicast is an effective network primitive for best-effort, large-scale, multi-point communication, many multicast applications such as shared whiteboards, multi-pl...
140
click to vote
IUI
2000
ACM
15 years 6 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
115
click to vote
SIGGRAPH
2000
ACM
15 years 6 months ago
2000
ACM
We present the WarpEngine, an architecture designed for realtime image-based rendering of natural scenes from arbitrary viewpoints. The modeling primitives are real-world images w...
142
Voted
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
— The conventional wisdom has been that IP is the natural protocol layer for implementing multicast related functionality. However, more than a decade after its initial proposal,...