Sciweavers

823 search results - page 48 / 165
» Model replication: transformations to address model scalabil...
Sort
View
SAPIR
2004
Springer
15 years 3 months ago
Software Modeling for Open Distributed Network Monitoring Systems
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
Jacob W. Kallman, Pedrum Minaie, Jason Truppi, Ser...
NIPS
2008
14 years 11 months ago
Scalable Algorithms for String Kernels with Inexact Matching
We present a new family of linear time algorithms based on sufficient statistics for string comparison with mismatches under the string kernels framework. Our algorithms improve t...
Pavel P. Kuksa, Pai-Hsi Huang, Vladimir Pavlovic
CVIU
2008
179views more  CVIU 2008»
14 years 9 months ago
Incremental, scalable tracking of objects inter camera
This paper presents a scalable solution to the problem of tracking objects across spatially separated, uncalibrated cameras with non overlapping fields of view. The approach relie...
Andrew Gilbert, Richard Bowden
ICIP
2009
IEEE
14 years 7 months ago
3D facial visualization through adaptive spread spectrum synchronous scalable (A4S) data hiding
An adaptive spread spectrum synchronous scalable(A4S) data hiding strategy is being put forward to integrate the disparate 3D facial visualization data, into a single JPEG2000 for...
Khizar Hayat, William Puech, Gilles Gesquiè...
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
15 years 1 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...