973 search results - page 125 / 195 » Arguing Using Opponent Models |
104
click to vote
LREC
2008
15 years 3 months ago
2008
We argue for the necessity of studying human-human spoken conversations of various kinds in order to create user interfaces to databases. An efficient user interface benefits from...
118
Voted
WSC
1997
15 years 3 months ago
1997
Recent evidence suggests that some characteristics of computer and telecommunications systems may be well described using heavy tailed distributions — distributions whose tail d...
130
Voted
FUIN
2008
15 years 2 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
107
click to vote
ENTCS
2002
15 years 2 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
118
Voted
RAID
2010
Springer
15 years 1 days ago
2010
Springer
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...