7326 search results - page 1284 / 1466 » Methods for modalities 3 |
179
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
182
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
142
click to vote
MLG
2007
Springer
16 years 20 days ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
190
click to vote
PATMOS
2007
Springer
16 years 20 days ago
2007
Springer
—Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the...
206
click to vote
IMSCCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Background: As more and more genomes are sequenced, comparative genomics approaches provide a methodology for identifying conserved regulatory elements that may be involved in gen...