3909 search results - page 534 / 782 » Extreme Model Checking |
162
click to vote
NIPS
2004
15 years 7 months ago
2004
We introduce a novel active-learning scenario in which a user wants to work with a learning algorithm to identify useful anomalies. These are distinguished from the traditional st...
140
click to vote
WSC
2001
15 years 7 months ago
2001
Using simulation, Headway Technologies predicted that increasing staffing among a group of already lightly loaded machine operators--"overstaffing"--would significantly ...
168
click to vote
MASCOTS
2003
15 years 7 months ago
2003
Recent work has shown that the physical connectivity of the Internet exhibits small-world behavior. Characterizing such behavior is important not only for generating realistic Int...
177
click to vote
WSCG
2003
15 years 7 months ago
2003
We describe a system for interactive animation of cloth, which can be used in e-commerce applications, games or even in virtual prototyping systems. In order not to restrict the s...
167
Voted
WSC
1997
15 years 7 months ago
1997
Recent evidence suggests that some characteristics of computer and telecommunications systems may be well described using heavy tailed distributions — distributions whose tail d...