Sciweavers

20294 search results - page 166 / 4059
» Algorithmic Information Theory
Sort
View
ICRE
1996
IEEE
15 years 8 months ago
Structuring utterance records of requirements elicitation meetings based on speech act theory
This paper discusses a technique to structure utterance records of the meetings for requirements elicitation based on speech act theory. To elicit requirements to the system to be...
Motoshi Saeki, Kinji Matsumura, Jun'ichi Shimoda, ...
MP
2006
110views more  MP 2006»
15 years 4 months ago
Robust game theory
We present a distribution-free model of incomplete-information games, both with and without private information, in which the players use a robust optimization approach to contend ...
Michele Aghassi, Dimitris Bertsimas
ER
2007
Springer
117views Database» more  ER 2007»
15 years 10 months ago
Semantic Interoperability via Category Theory
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
Isabel Cafezeiro, Edward Hermann Haeusler
AICOM
2010
129views more  AICOM 2010»
15 years 4 months ago
Automated theorem proving in quasigroup and loop theory
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
J. D. Phillips, David Stanovský
CHI
2003
ACM
16 years 5 months ago
Post-cognitivist HCI: second-wave theories
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
Bonnie A. Nardi, Edwin Hutchins, James D. Hollan, ...