1140 search results - page 116 / 228 » Progress on Certifying Algorithms |
SCL
2008
15 years 20 days ago
2008
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
94
Voted
BMCBI
2005
15 years 20 days ago
2005
Background: Alternative splicing (AS) is now considered as a major actor in transcriptome/ proteome diversity and it cannot be neglected in the annotation process of a new genome....
90
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Robotic Sensor Networks (RSNs) find increasing use in environmental monitoring as RSNs can collect data from obscure, hard-to-reach places over long periods of time. This work...
111
Voted
CASC
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Residue systems present a well-known way to reduce computation cost for symbolic computation. However most residue systems are implemented for integers or polynomials. Th...
77
Voted
JFR
2010
14 years 7 months ago
2010
Robotic Sensor Networks (RSNs) find increasing use in environmental monitoring as RSNs can collect data from obscure, hard-to-reach places over long periods of time. This work rep...