Sciweavers

973 search results - page 115 / 195
» Arguing Using Opponent Models
Sort
View
CAI
2006
Springer
14 years 12 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
JMLR
2008
83views more  JMLR 2008»
14 years 12 months ago
Generalization from Observed to Unobserved Features by Clustering
We argue that when objects are characterized by many attributes, clustering them on the basis of a random subset of these attributes can capture information on the unobserved attr...
Eyal Krupka, Naftali Tishby
RAS
2006
110views more  RAS 2006»
14 years 11 months ago
A methodology for provably stable behaviour-based intelligent control
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
Christopher J. Harper, Alan F. T. Winfield
BSL
2004
100views more  BSL 2004»
14 years 11 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
AICOM
2000
105views more  AICOM 2000»
14 years 11 months ago
Emergence of Vowel Systems Through Self-Organisation
This paper describes a model of the emergence and the universal structural tendencies of vowel systems. Both are considered as the result of self-organisation in a population of l...
Bart de Boer