Sciweavers

1516 search results - page 37 / 304
» Generalizing Indexical-Functional Reference
Sort
View
CVPR
2012
IEEE
13 years 4 days 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
13 years 4 days 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
15 years 4 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
14 years 7 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»
14 years 9 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