Sciweavers

8512 search results - page 81 / 1703
» Computing Theory With Relevance
Sort
View
CORR
2002
Springer
67views Education» more  CORR 2002»
13 years 8 months ago
The prospects for mathematical logic in the twenty-first century
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
Samuel R. Buss, Alexander S. Kechris, Anand Pillay...
ICCS
2004
Springer
14 years 1 months ago
Graphical and Computational Representation of Groups
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
Alain Bretto, Luc Gillibert
ICPR
2002
IEEE
14 years 9 months ago
Entropy Estimation and Multiscale Processing in Meteorological Satellite Images
A new model for the multiscale characterization of turbulence and chaotic information in digital images is presented. The model is applied to infrared satellite images for the det...
Antonio Turiel, Hussein M. Yahia, Jacopo Grazzini
GI
2004
Springer
14 years 1 months ago
A Behavioural Approach for the Coordination of Open Source Software Intermediaries
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...
Heinz Lothar Grob, Frank Bensberg, Firoz Kaderali
IUI
2003
ACM
14 years 1 months ago
Inferring user goals from personality and behavior in a causal model of user affect
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
Xiaoming Zhou, Cristina Conati