Sciweavers

2335 search results - page 261 / 467
» Type Checking Type Classes
Sort
View
133
Voted
IJISEC
2007
149views more  IJISEC 2007»
15 years 2 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
TSP
2008
166views more  TSP 2008»
15 years 2 months ago
A Unifying Discussion of Correlation Analysis for Complex Random Vectors
The assessment of multivariate association between two complex random vectors is considered. A number of correlation coefficients based on three popular correlation analysis techni...
Peter J. Schreier
112
Voted
TVLSI
2008
121views more  TVLSI 2008»
15 years 2 months ago
Area-Efficient Arithmetic Expression Evaluation Using Deeply Pipelined Floating-Point Cores
Recently, it has become possible to implement floating-point cores on field-programmable gate arrays (FPGAs) to provide acceleration for the myriad applications that require high-p...
Ronald Scrofano, Ling Zhuo, Viktor K. Prasanna
120
Voted
VLSISP
1998
140views more  VLSISP 1998»
15 years 2 months ago
Audio Feature Extraction and Analysis for Scene Segmentation and Classification
Understanding of the scene content of a video sequence is very important for content-based indexing and retrieval of multimedia databases. Research in this area in the past severa...
Zhu Liu, Yao Wang, Tsuhan Chen
146
Voted
PAMI
2010
170views more  PAMI 2010»
15 years 27 days ago
On the Decoding Process in Ternary Error-Correcting Output Codes
—A common way to model multiclass classification problems is to design a set of binary classifiers and to combine them. Error-Correcting Output Codes (ECOC) represent a successfu...
Sergio Escalera, Oriol Pujol, Petia Radeva