Sciweavers

5671 search results - page 298 / 1135
» A Semantic Approach to Interpolation
Sort
View
175
Voted
SBIA
2000
Springer
15 years 9 months ago
Linguistic Relations Encoding in a Symbolic-Connectionist Hybrid Natural Language Processor
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
João Luís Garcia Rosa, Edson Fran&cc...
ESWS
2008
Springer
15 years 8 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
FOSSACS
2008
Springer
15 years 7 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
BDA
2007
15 years 7 months ago
Pattern by Example: type-driven visual programming of XML queries
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
Véronique Benzaken, Giuseppe Castagna, Dari...
COLING
2008
15 years 7 months ago
Classifying What-Type Questions by Head Noun Tagging
Classifying what-type questions into proper semantic categories is found more challenging than classifying other types in question answering systems. In this paper, we propose to ...
Fangtao Li, Xian Zhang, Jinhui Yuan, Xiaoyan Zhu