Sciweavers

5128 search results - page 307 / 1026
» When Abstraction Fails
Sort
View
223
Voted
GLOBECOM
2006
IEEE
16 years 1 months ago
Linear Coherent Decentralized Estimation
Abstract—We consider the distributed estimation of an unknown vector signal in a resource constrained sensor network with a fusion center. Due to power and bandwidth limitations,...
Jinjun Xiao, Shuguang Cui, Zhi-Quan Luo, Andrea J....
284
Voted
ICDE
2008
IEEE
100views Database» more  ICDE 2008»
16 years 8 months ago
OptimAX: efficient support for data-intensive mash-ups
n a node with a b child, and abstract away some details of the AXML notation [3]. A. ActiveXML documents ActiveXML documents are XML documents including some special elements label...
Serge Abiteboul, Ioana Manolescu, Spyros Zoupanos
MICCAI
2009
Springer
16 years 8 months ago
A Fully Automatic Random Walker Segmentation for Skin Lesions in a Supervised Setting
Abstract. We present a method for automatically segmenting skin lesions by initializing the random walker algorithm with seed points whose properties, such as colour and texture, h...
Paul Wighton, Maryam Sadeghi, Tim K. Lee, M. St...
199
Voted
ICALP
2009
Springer
16 years 7 months ago
Forward Analysis for WSTS, Part II: Complete WSTS
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
Alain Finkel, Jean Goubault-Larrecq
PODS
2004
ACM
86views Database» more  PODS 2004»
16 years 7 months ago
Frontiers of Tractability for Typechecking Simple XML Transformations
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
Wim Martens, Frank Neven