Sciweavers

181 search results - page 36 / 37
» Support versus corroboration
Sort
View
PE
2010
Springer
114views Optimization» more  PE 2010»
14 years 8 months ago
Analysis of scheduling policies under correlated job sizes
Correlations in traffic patterns are an important facet of the workloads faced by real systems, and one that has far-reaching consequences on the performance and optimization of t...
Varun Gupta, Michelle Burroughs, Mor Harchol-Balte...
JOCN
2011
98views more  JOCN 2011»
14 years 4 months ago
Early Stages of Figure-Ground Segregation during Perception of the Face-Vase
■ The temporal sequence of neural processes supporting figure– ground perception was investigated by recording ERPs associated withsubjectsʼ perceptions of the face–vase fi...
Michael A. Pitts, Antígona Martínez,...
ECEASST
2010
14 years 4 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
83
Voted
ICCV
2011
IEEE
13 years 9 months ago
Content-Based Photo Quality Assessment
Automatically assessing photo quality from the perspective of visual aesthetics is of great interest in high-level vision research and has drawn much attention in recent years. In...
Wei Luo, Xiaogang Wang, Xiaoou Tang
PLDI
2012
ACM
12 years 12 months ago
Proving acceptability properties of relaxed nondeterministic approximate programs
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Mar...