Sciweavers

1061 search results - page 111 / 213
» Dependently Sorted Logic
Sort
View
ISCI
2007
117views more  ISCI 2007»
15 years 6 months ago
Cognitive high level information fusion
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
Leonid I. Perlovsky
COLING
2002
15 years 6 months ago
Answering it with Charts: Dialogue in Natural Language and Charts
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
Tsuneaki Kato, Mitsunori Matsushita, Eisaku Maeda
ISCI
2010
100views more  ISCI 2010»
15 years 4 months ago
Filters of residuated lattices and triangle algebras
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to...
Bart Van Gasse, Glad Deschrijver, Chris Cornelis, ...
CORR
2011
Springer
207views Education» more  CORR 2011»
15 years 1 months ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic
EMNLP
2011
14 years 6 months ago
Dual Decomposition with Many Overlapping Components
Dual decomposition has been recently proposed as a way of combining complementary models, with a boost in predictive power. However, in cases where lightweight decompositions are ...
André L. Martins, Noah A. Smith, Már...