762 search results - page 53 / 153 » Conditionally correct superoptimization |
PDSE
1998
13 years 11 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
AMC
2007
13 years 10 months ago
2007
A method for the determination of the trajectory of a ballistic missile over a rotating, spherical Earth given only the launch position and impact point has been developed. The it...
BIBE
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, we propose a system for finding partial positive and negative coregulated gene clusters in microarray data. Genes are clustered together if they show the same p...
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Considering the statistical text classification problem we approximate class-conditional probability distributions by structurally modified Poisson mixtures. By introducing the st...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper examines stability properties of distance-based formations. These are formations encoded by inter-agent relative distances. A negative gradient control law is propos...