51986 search results - page 100 / 10398 » Are There New Models of Computation |
146
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
We present a study of radiometric calibration and the incamera imaging process through an extensive analysis of more than 10,000 images from over 30 cameras. The goal is to invest...
150
Voted
SIMULATION
2002
15 years 5 months ago
2002
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
156
click to vote
ENGL
2007
15 years 5 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
135
click to vote
CIE
2009
Springer
16 years 12 days ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
146
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.