9067 search results - page 1776 / 1814 » Adaptive Model Checking |
125
click to vote
NPAR
2010
ACM
15 years 7 months ago
2010
ACM
We present a simple technique for creating fluid silhouettes described with vector graphics, which we call ”Vector Fluid.” In our system, a solid region in the fluid is repr...
141
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...
120
click to vote
ICNP
2002
IEEE
15 years 7 months ago
2002
IEEE
Despite a decade of research and development, multicast has not yet been deployed on a global scale. Among the difficulties with the current infrastructure are intermulticast fai...
170
click to vote
ICPADS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...
113
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...