Sciweavers

4983 search results - page 137 / 997
» order 2008
Sort
View
146
Voted
TOPLAS
2010
115views more  TOPLAS 2010»
14 years 11 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
CPC
2004
66views more  CPC 2004»
15 years 20 days ago
Two Results on Real Zeros of Chromatic Polynomials
This note presents two results on real zeros of chromatic polynomials. The first result states that if G is a graph containing a q-tree as a spanning subgraph, then the chromatic ...
Feng Ming Dong, Khee Meng Koh
TCSV
2008
225views more  TCSV 2008»
15 years 21 days ago
Analysis and Efficient Architecture Design for VC-1 Overlap Smoothing and In-Loop Deblocking Filter
Abstract--In contrast to the macroblock-based in-loop deblocking filters, the filters of VC-1 perform all horizontal edges (for in-loop filtering) or vertical edges (for overlap sm...
Yen-Lin Lee, T. Q. Nguyen
DM
1998
69views more  DM 1998»
15 years 15 days ago
A study of the total chromatic number of equibipartite graphs
The total chromatic number zt(G) of a graph G is the least number of colors needed to color the vertices and edges of G so that no adjacent vertices or edges receive the same colo...
Bor-Liang Chen, Chun-Kan Cheng, Hung-Lin Fu, Kuo-C...
151
Voted
NIPS
2008
15 years 2 months ago
On Bootstrapping the ROC Curve
This paper is devoted to thoroughly investigating how to bootstrap the ROC curve, a widely used visual tool for evaluating the accuracy of test/scoring statistics in the bipartite...
Patrice Bertail, Stéphan Clémen&cced...