3229 search results - page 458 / 646 » Theories with the Independence Property |
172
click to vote
TCS
2008
15 years 6 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
145
click to vote
JMM2
2007
15 years 6 months ago
2007
Abstract— In this paper, we present a novel universal approach which consists in exploring statistics in the compressed frequency domain. This approach is motivated by two main c...
177
click to vote
TVLSI
2008
15 years 6 months ago
2008
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...
217
click to vote
JUCS
2007
15 years 6 months ago
2007
: Clustering provides an effective mechanism for energy-efficient data delivery in wireless sensor networks. To reduce communication cost, most clustering algorithms rely on a sens...
199
click to vote
JVCIR
2007
15 years 6 months ago
2007
A new method for text detection and recognition in natural scene images is presented in this paper. In the detection process, color, texture, and OCR statistic features are combin...