20294 search results - page 287 / 4059 » Algorithmic Information Theory |
169
click to vote
BCSHCI
2008
15 years 8 months ago
2008
This research looks at design methods for children technologies. It takes a User-Centred Design approach, where the involvement of the users is essential to the achievement of sat...
185
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Ranking is a key problem in many information retrieval (IR) applications, such as document retrieval and collaborative filtering. In this paper, we address the issue of learning ...
173
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Positioning multiple sensors for acquisition of a a given environment is one of the fundamental research areas in various fields, such as military scouting, computer vision and ro...
178
click to vote
CIMCA
2005
IEEE
16 years 10 days ago
2005
IEEE
The aim of the research presented in this paper is to contribute to reduction of development time for ontologies by discovering reusable parts and patterns. The approach is to use...
171
click to vote
CSL
2005
Springer
16 years 7 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...