6168 search results - page 951 / 1234 » Research methods for HCI |
177
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. Different approaches to infer the dependencies of gene r...
181
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
181
click to vote
IMR
2004
Springer
16 years 1 days ago
2004
Springer
Mesh generation for finite element analysis is far from a solved problem. Although several automatic meshing algorithms exist, other difficulties of setting up a problem for finit...
163
Voted
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
A central problem in music information retrieval is finding suitable representations which enable efficient and accurate computation of musical similarity and identity. Low leve...
155
click to vote
PACS
2004
Springer
16 years 1 days ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...