156 search results - page 14 / 32 » The Expressivity of Quantifying over Regions |
WSC
2004
14 years 11 months ago
2004
This paper documents an experiment designed to show the value of simulation in understanding the relationship between production run lengths and overall supply chain performance. ...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
JSW
2008
14 years 10 months ago
2008
Image quality loss resulting from artifacts depends on the nature and strength of the artifacts as well as the context or background in which they occur. In order to include the im...
SIGMETRICS
2008
ACM
14 years 10 months ago
2008
ACM
Random Medium-Access-Control (MAC) algorithms have played an increasingly important role in the development of wired and wireless Local Area Networks (LANs) and yet the performanc...
97
Voted
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper proposes an objective video quality metric based on an analysis of spatial and temporal distortions. Spatial quality features extracted from the spatiotemporal region o...