Sciweavers

570 search results - page 66 / 114
» How to Evaluate Models of User Affect
Sort
View
ICSEA
2009
IEEE
13 years 5 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
IJCAI
1993
13 years 9 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
EH
2002
IEEE
112views Hardware» more  EH 2002»
14 years 21 days ago
Evolving Circuits in Seconds: Experiments with a Stand-Alone Board-Level Evolvable System
The purpose of this paper is twofold: first, to illustrate a stand-alone board-level evolvable system (SABLES) and its performance, and second to illustrate some problems that occ...
Adrian Stoica, Ricardo Salem Zebulum, Michael I. F...
CVPR
2007
IEEE
14 years 9 months ago
Improved Legibility of Text for Multiprojector Tiled Displays
Displaying small text on large multiprojector tiled displays is challenging. Problems arise because text is badly affected by the image-warping techniques that these displays appl...
Philip Tuddenham, Peter Robinson
CHI
2007
ACM
14 years 8 months ago
Perception of elementary graphical elements in tabletop and multi-surface environments
Information shown on a tabletop display can appear distorted when viewed by a seated user. Even worse, the impact of this distortion is different depending on the location of the ...
Daniel Wigdor, Chia Shen, Clifton Forlines, Ravin ...