814 search results - page 78 / 163 » Analysis of Modular Arithmetic |
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
HIPEAC
2005
Springer
15 years 3 months ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
138
Voted
CSCLP
2008
Springer
14 years 12 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We describe a text summarization system that moves beyond standard approaches by using a hybrid approach of linguistic and statistical analysis and by employing text-sort...
MVA
1998
14 years 11 months ago
1998
This paper presents research work in the area of analysis, extraction, and recognition of aesthetic information from architectural drawings. A computer-based system is developed t...