Sciweavers

7405 search results - page 1092 / 1481
» Computer Graphics
Sort
View
114
Voted
SAC
2004
ACM
15 years 8 months ago
Improving courseware quality through life-cycle encompassing quality assurance
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
Ines Grützner, Stephan Weibelzahl, Patrick E....
133
Voted
GG
2004
Springer
15 years 8 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
ICCHP
2004
Springer
15 years 8 months ago
An Adaptive and Predictive Environment to Support Augmentative and Alternative Communication
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
Nicola Gatti, Matteo Matteucci, Licia Sbattella
141
Voted
RTA
2004
Springer
15 years 8 months ago
Automated Termination Proofs with AProVE
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
Jürgen Giesl, René Thiemann, Peter Sch...
108
Voted
ECCV
2010
Springer
15 years 8 months ago
A Discriminative Latent Model of Object Classes and Attributes
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
« Prev « First page 1092 / 1481 Last » Next »