2272 search results - page 359 / 455 » Validity Invariants and Effects |
176
click to vote
TIP
2010
15 years 2 months ago
2010
—This paper proposes a selective data pruning-based compression scheme to improve the rate-distortion relation of compressed images and video sequences. The original frames are p...
134
click to vote
TSE
2010
15 years 2 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
120
Voted
WAIM
2010
Springer
15 years 2 months ago
2010
Springer
Finding relational expressions which exist frequently in one class of data while not in the other class of data is an interesting work. In this paper, a relational expression of th...
158
click to vote
WINET
2010
15 years 2 months ago
2010
Wireless sensor networks are characterised by the distributed nature of their operation and the resource constraints on the nodes. Trust management schemes that are targeted at sen...
143
click to vote
ACL
2010
15 years 1 months ago
2010
Bag-of-words approaches to information retrieval (IR) are effective but assume independence between words. The Hyperspace Analogue to Language (HAL) is a cognitively motivated and...