3909 search results - page 605 / 782 » Extreme Model Checking |
188
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
156
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Edge networks connected to the Internet need effective monitoring techniques to drive routing decisions and detect violations of Service Level Agreements (SLAs). However, existing...
194
click to vote
TON
2008
15 years 6 months ago
2008
Abstract--In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node fail...
144
click to vote
CGF
2005
15 years 6 months ago
2005
In large-scale simulations involving complex scenes, such as cities inhabited by crowds, simplifications are almost always necessary to achieve interactive frame-rates. Level of D...
185
click to vote
JMM2
2007
15 years 6 months ago
2007
— The Bath University Matching Pursuit (BUMP) project aims at developing new matching pursuit (MP) algorithms for still image and video compression. Compared to traditional MP co...