Sciweavers

1805 search results - page 154 / 361
» Modelling SIGNAL in Interaction Categories
Sort
View
109
Voted
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 2 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
MODELS
2007
Springer
15 years 5 months ago
Useware Modeling for Ambient Intelligent Production Environments
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
Daniel Görlich, Kai Breiner
92
Voted
CGIM
2003
15 years 8 days ago
Modeling an Infinite Emotion Space for Expressionistic Cartoon Face Animation
Inspired by traditional expressive animation, we attempt to propose an infinite emotion-space as a model to control free-form facial expression synthesis. Although a number of mod...
Prashant Chopra, Joerg Meyer
81
Voted
GECCO
2008
Springer
182views Optimization» more  GECCO 2008»
14 years 12 months ago
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
Heather Goldsby, Betty H. C. Cheng
95
Voted
ATAL
2011
Springer
13 years 11 months ago
Game theory-based opponent modeling in large imperfect-information games
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
Sam Ganzfried, Tuomas Sandholm