Sciweavers

2397 search results - page 278 / 480
» Applications of integer relation algorithms
Sort
View
SEW
2006
IEEE
16 years 18 days ago
Pseudo-Exhaustive Testing for Software
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
D. Richard Kuhn, Vadim Okun
ETFA
2005
IEEE
16 years 6 days ago
A real-time task model based on ideal instant
In many digital control applications, data acquisition and process control are time-critical actions, assumed to be instantaneous and strictly periodic. However, aspects related t...
F. R. de la Rocha, R. S. de Oliveira
SIGECOM
2005
ACM
122views ECommerce» more  SIGECOM 2005»
16 years 4 days ago
Multi-unit auctions with budget-constrained bidders
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
Christian Borgs, Jennifer T. Chayes, Nicole Immorl...
FIMH
2005
Springer
16 years 3 days ago
Suppression of IVUS Image Rotation. A Kinematic Approach
IntraVascular Ultrasound (IVUS) is an exploratory technique used in interventional procedures that shows cross section images of arteries and provides qualitative information about...
Misael Rosales, Petia Radeva, Oriol Rodriguez, Deb...
GECCO
2005
Springer
140views Optimization» more  GECCO 2005»
16 years 3 days ago
Stock prediction based on financial correlation
In this paper, we propose a neuro-genetic stock prediction system based on financial correlation between companies. A number of input variables are produced from the relatively h...
Yung-Keun Kwon, Sung-Soon Choi, Byung Ro Moon