1328 search results - page 136 / 266 » Cut-free common knowledge |
121
click to vote
COLING
1994
15 years 5 months ago
1994
IIuman intervention and/or training corpora tagged with various kinds of information were often assumed in many natural language acquisition models. This assumption is a major sou...
124
Voted
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
A common problem in frequency domain independent component analysis (ICA) is the so called permutation problem which arises due to the independent demixing in each frequency bin. ...
133
click to vote
DCOSS
2010
Springer
15 years 4 months ago
2010
Springer
In this work, we present a robust sensor fusion system for exploratory data collection, exploiting the spatial redundancy in sensor networks. Unlike prior work, our system design c...
150
click to vote
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Most approaches to application integration require an unambiguous exchange of events. Ontologies can be used to annotate the events exchanged and thus ensure a common und...
130
click to vote
APAL
2010
15 years 4 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...