13383 search results - page 2265 / 2677 » Abstractions from proofs |
143
click to vote
TOSEM
2010
15 years 3 months ago
2010
n the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our ...
151
click to vote
TSE
2010
15 years 3 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
131
click to vote
TVCG
2010
15 years 3 months ago
2010
—A major obstacle in the appreciation of classical music is that extensive training is required to understand musical structure and compositional techniques toward comprehending ...
111
click to vote
VC
2010
15 years 3 months ago
2010
Abstract In this article we show, how temporal backdrops that alternately change their color rapidly at recording rate can aid chroma keying by transforming color spill into a neut...
149
Voted
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Careful modeling of the radio channel characteristics is an important issue for system level simulations. While a number of detailed path loss, shadowing and fast fading...