Sciweavers

6514 search results - page 706 / 1303
» Low-Knowledge Algorithm Control
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 2 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
INFOCOM
2012
IEEE
13 years 9 months ago
Approximate convex decomposition based localization in wireless sensor networks
—Accurate localization in wireless sensor networks is the foundation for many applications, such as geographic routing and position-aware data processing. An important research d...
Wenping Liu, Dan Wang, Hongbo Jiang, Wenyu Liu, Ch...
SIGMETRICS
2012
ACM
257views Hardware» more  SIGMETRICS 2012»
13 years 9 months ago
Fair sampling across network flow measurements
Sampling is crucial for controlling resource consumption by internet traffic flow measurements. Routers use Packet Sampled NetFlow [9], and completed flow records are sampled in...
Nick G. Duffield
ICCV
2007
IEEE
16 years 8 months ago
Lung Nodule Growth Analysis from 3D CT Data with a Coupled Segmentation and Registration Framework
In this paper we propose a new framework to simultaneously segment and register lung and tumor in serial CT data. Our method assumes nonrigid transformation on lung deformation an...
Yuanjie Zheng, Karl Steiner, Thomas Bauer, Jingyi ...
ECCV
2004
Springer
16 years 8 months ago
Synthesizing Dynamic Texture with Closed-Loop Linear Dynamic System
Dynamic texture can be defined as a temporally continuous and infinitely varying stream of images that exhibit certain temporal statistics. Linear dynamic system (LDS) represented ...
Lu Yuan, Fang Wen, Ce Liu, Heung-Yeung Shum