12981 search results - page 2489 / 2597 » Model Checking (Abstract) |
127
click to vote
SIAMREV
2010
14 years 10 months ago
2010
Abstract. The main thrust of the paper is the design and the numerical analysis of new capand-trade schemes for the control and the reduction of atmospheric pollution. The tools de...
189
click to vote
SOICT
2010
14 years 10 months ago
2010
Routing problems have been considered as central problems in the fields of transportation, distribution and logistics. LS(Graph) is a generic framework allowing to model and solve...
145
click to vote
TASLP
2010
14 years 10 months ago
2010
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
170
click to vote
TCSV
2010
14 years 10 months ago
2010
Abstract--This paper proposes a no-reference quality assessment metric for digital video subject to H.264/AVC encoding. The proposed metric comprises two main steps: coding error e...
156
click to vote
UAIS
2010
14 years 10 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...