2607 search results - page 315 / 522 » Complete Functional Synthesis |
147
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we propose a clustering algorithm called sCluster for analysis of gene expression data based on pattern-similarity. The algorithm captures the tight cluster...
145
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
126
click to vote
COCO
2005
Springer
15 years 9 months ago
2005
Springer
The inertia of an n × n matrix A is defined as the triple (i+(A), i−(A), i0(A)), where i+(A), i−(A), and i0(A) are the number of eigenvalues of A, counting multiplicities, w...
122
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
131
click to vote
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...