Sciweavers

1516 search results - page 37 / 304
» Generalizing Indexical-Functional Reference
Sort
View
CVPR
2012
IEEE
11 years 11 months ago
Unsupervised feature learning framework for no-reference image quality assessment
In this paper, we present an efficient general-purpose objective no-reference (NR) image quality assessment (IQA) framework based on unsupervised feature learning. The goal is to...
Peng Ye, Jayant Kumar, Le Kang, David S. Doermann
DAC
2012
ACM
11 years 11 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
HYBRID
2010
Springer
14 years 3 months ago
Amir Pnueli and the dawn of hybrid systems
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
Oded Maler
ECCV
2010
Springer
13 years 5 months ago
Spatial-Temporal Granularity-Tunable Gradients Partition (STGGP) Descriptors for Human Detection
Abstract. This paper presents a novel descriptor for human detection in video sequence. It is referred to as spatial-temporal granularity -tunable gradients partition (STGGP), whic...
Yazhou Liu, Shiguang Shan, Xilin Chen, Janne Heikk...
CORR
2008
Springer
101views Education» more  CORR 2008»
13 years 8 months ago
An Approach to Programming Based on Concepts
In this paper we describe a new approach to programming which generalizes object-oriented programming. It is based on using a new programming construct, called concept, which gener...
Alexandr A. Savinov