Sciweavers

6693 search results - page 1001 / 1339
» On an anytime algorithm for control
Sort
View
GECCO
2008
Springer
168views Optimization» more  GECCO 2008»
15 years 4 months ago
Parameterizing pair approximations for takeover dynamics
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
Joshua L. Payne, Margaret J. Eppstein
JTRES
2010
ACM
15 years 4 months ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
PODS
2010
ACM
197views Database» more  PODS 2010»
15 years 4 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
SI3D
2010
ACM
15 years 4 months ago
Interactive painterly stylization of images, videos and 3D animations
We introduce a real-time system that converts images, video, or 3D animation sequences to artistic renderings in various painterly styles. The algorithm, which is entirely execute...
Jingwan Lu, Pedro V. Sander, Adam Finkelstein
SIGCOMM
2010
ACM
15 years 4 months ago
Improving peer-to-peer file distribution: winner doesn't have to take all
Recent work on BitTorrent has shown that the choke/unchoke mechanism implements an auction where each peer tries to induce other peers into "unchoking" it by uploading m...
Ben Leong, Youming Wang, Su Wen, Cristina Carbunar...
« Prev « First page 1001 / 1339 Last » Next »