Sciweavers

4418 search results - page 44 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
DAS
2004
Springer
15 years 9 months ago
A Robust Braille Recognition System
Abstract. Braille is the most effective means of written communication between visually-impaired and sighted people. This paper describes a new system that recognizes Braille chara...
Apostolos Antonacopoulos, David Bridson
187
Voted
ENTCS
2006
1305views more  ENTCS 2006»
15 years 3 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...
146
Voted
WWW
2007
ACM
16 years 4 months ago
Formalization, User Strategy And Interaction Design: Users? Behaviour With Discourse Tagging Semantics
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
130
Voted
ECBS
2005
IEEE
88views Hardware» more  ECBS 2005»
15 years 9 months ago
Integrative Architecture Elicitation for Large Computer Based Systems
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
Peter Tabeling, Bernhard Gröne
ICSE
2004
IEEE-ACM
16 years 3 months ago
Theme: An Approach for Aspect-Oriented Analysis and Design
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
Elisa L. A. Baniassad, Siobhán Clarke