5550 search results - page 554 / 1110 » Different Approaches to Proof Systems |
210
click to vote
LREC
2010
15 years 9 months ago
2010
In Knowledge Management, variations in information expressions have proven a real challenge. In particular, classical semantic relations (e.g. synonymy) do not connect words with ...
199
click to vote
PAMI
2002
15 years 7 months ago
2002
We present an approach to significantly enhance the spectral resolution of imaging systems by generalizing image mosaicing. A filter transmitting spatially varying spectral bands i...
180
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— This article presents the design of Iromec, a modular robot companion tailored towards engaging in social exchanges with children with different disabilities with the aim to em...
143
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
MLP based front-ends have shown significant complementary properties to conventional spectral features. As part of the DARPA GALE program, different MLP features were developed fo...
188
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...