Predicting possible code-switching points can help develop more accurate methods for automatically processing mixed-language text, such as multilingual language models for speech ...
Next generation communication systems must support diverse applications operating over high-performance local, metropolitan, and wide area networks. This paper describes a framewo...
Douglas C. Schmidt, Burkhard Stiller, Tatsuya Suda...
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
: This paper addresses the role of Personal Digital Assistants (PDAs) in electronic meetings. Several real-world scenarios of PDA usage in meetings are defined using a pattern lang...
Gustavo Zurita, Pedro Antunes, Nelson Baloian, Lu&...
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...