5550 search results - page 774 / 1110 » Different Approaches to Proof Systems |
177
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called `So...
191
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This paper discusses a novel data mining system devised and developed at Birmingham, which attempts to provide a more effective data mining system. It ties in with the workshop go...
185
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...
204
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
Methods for expanding the dynamic range of digital photographs by combining images taken at different exposures have recently received a lot of attention. Current techniques assum...
201
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Different materials reflect light in different ways, so reflectance is a useful surface descriptor. Existing systems for measuring reflectance are cumbersome, however, and although...