Sciweavers

1634 search results - page 174 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
ACL
1993
14 years 4 days ago
Towards the Automatic Identification of Adjectival Scales: Clustering Adjectives According to Meaning
In this paper we present a method to group adjectives according to their meaning, as a first step towards the automatic identification of adjectival scales. We discuss the propert...
Vasileios Hatzivassiloglou, Kathleen McKeown
TARK
2007
Springer
14 years 4 months ago
Knowledge-based modelling of voting protocols
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
A. Baskar, Ramaswamy Ramanujam, S. P. Suresh
ESAW
2006
Springer
14 years 2 months ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
DIMVA
2006
14 years 6 days ago
Using Static Program Analysis to Aid Intrusion Detection
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
Manuel Egele, Martin Szydlowski, Engin Kirda, Chri...
ESAW
2009
Springer
14 years 5 months ago
Cooperative Sign Language Tutoring: A Multiagent Approach
Sign languages can be learned effectively only with frequent feedback from an expert in the field. The expert needs to watch a performed sign, and decide whether the sign has bee...
Ilker Yildirim, Oya Aran, Pinar Yolum, Lale Akarun