12981 search results - page 2489 / 2597 » Model Checking and Abstraction |
109
click to vote
SIAMREV
2010
14 years 8 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...
170
click to vote
SOICT
2010
14 years 8 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...
127
click to vote
TASLP
2010
14 years 8 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...
150
click to vote
TCSV
2010
14 years 8 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...
138
click to vote
UAIS
2010
14 years 8 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...