Sciweavers

1248 search results - page 174 / 250
» The I Test
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 9 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
CGF
2006
128views more  CGF 2006»
13 years 8 months ago
Computing discrete shape operators on general meshes
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
Eitan Grinspun, Yotam I. Gingold, Jason Reisman, D...
CSDA
2006
233views more  CSDA 2006»
13 years 8 months ago
Analysis of Type-II progressively hybrid censored data
The mixture of Type-I and Type-II censoring schemes, called the hybrid censoring scheme is quite common in life-testing or reliability experiments. Recently Type-II progressive ce...
Debasis Kundu, Avijit Joarder
BMCBI
2007
123views more  BMCBI 2007»
13 years 8 months ago
GO for gene documents
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
Padmini Srinivasan, Xin Ying Qiu
CCR
2007
69views more  CCR 2007»
13 years 8 months ago
The state of peer-to-peer simulators and simulations
In this paper, we discuss the current situation with respect to simulation usage in P2P research, testing the available P2P simulators against a proposed set of requirements, and ...
S. Naicken, B. Livingston, Anirban Basu, S. Rodhet...