24451 search results - page 255 / 4891 » Research methods in information |
169
click to vote
SIGADA
2005
Springer
16 years 23 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
188
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Matrix-vector products (mat-vecs) form the core of iterative methods used for solving dense linear systems. Often, these systems arise in the solution of integral equations used i...
234
click to vote
ACMIDC
2008
15 years 9 months ago
2008
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
178
click to vote
ISMIR
2004
Springer
16 years 19 days ago
2004
Springer
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...
163
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The Creative Problem-Solving Research Group (CPSRG) at Lancaster University is a collaboration between psychologists and computer scientists conducting research into creativity, p...