Sciweavers

2934 search results - page 303 / 587
» Universality in Multi-Agent Systems
Sort
View
COLING
1990
15 years 7 months ago
Three Typed Pragmatics for Dialogue Structure Analysis
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
Hitoshi Iida, Takayuki Yamaoka, Hidekazu Arita
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Experimenting with Innate Immunity
libtissue is a software system for implementing and testing AIS algorithms on real-world computer security problems. AIS algorithms are implemented as a collection of cells, antig...
Jamie Twycross, Uwe Aickelin
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 months ago
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
Andrew W. Appel, Xavier Leroy
162
Voted
JNSM
2000
78views more  JNSM 2000»
15 years 6 months ago
A Framework and Lightweight Protocol for Multimedia Network Management
The increasing complexities of modern networks coupled with the popularity of multimedia applications have placed higher demands on network managers. This paper reviews the main r...
Jairo A. Gutiérrez, Don Sheridan, R. Radhak...
LOGCOM
2010
83views more  LOGCOM 2010»
15 years 5 months ago
Syllogistic Logics with Verbs
This paper provides sound and complete logical systems for several fragments of English which go beyond syllogistic logic in that they use verbs as well as other limited syntactic...
Lawrence S. Moss