Sciweavers

2488 search results - page 371 / 498
» An improvement in formal verification
Sort
View
ATAL
2008
Springer
15 years 3 months ago
Politeness and alignment in dialogues with a virtual guide
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
Markus de Jong, Mariët Theune, Dennis Hofs
NETWORKING
2007
15 years 3 months ago
Characterizing the Capacity Gain of Stream Control Scheduling in MIMO Wireless Mesh Networks
Stream control has recently attracted attentions in the research of MIMO wireless networks as a potential way to improve network capacity. However, inappropriate use of stream cont...
Yue Wang, Dah-Ming Chiu, John C. S. Lui
ACL
2006
15 years 3 months ago
Multi-Tagging for Lexicalized-Grammar Parsing
With performance above 97% accuracy for newspaper text, part of speech (POS) tagging might be considered a solved problem. Previous studies have shown that allowing the parser to ...
James R. Curran, Stephen Clark, David Vadas
ACL
2006
15 years 3 months ago
BiTAM: Bilingual Topic AdMixture Models for Word Alignment
We propose a novel bilingual topical admixture (BiTAM) formalism for word alignment in statistical machine translation. Under this formalism, the parallel sentence-pairs within a ...
Bing Zhao, Eric P. Xing
CLIMA
2006
15 years 3 months ago
Adding Evolving Abilities to a Multi-Agent System
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
João Leite, Luís Soares