1223 search results - page 149 / 245 » Semantic Visualization and Meaning Computation |
116
click to vote
JEI
2010
15 years 2 months ago
2010
Abstract. We present an innovative approach to the objective quality evaluation that could be computed using the mean difference between the original and tested images in different...
111
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Estimating the atmospheric or meteorological visibility distance is very important for air and ground transport safety, as well as for air quality. However, there is no holistic ap...
146
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
123
click to vote
CAP
2010
14 years 11 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
113
click to vote
JAIR
2011
14 years 11 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...