Sciweavers

544 search results - page 64 / 109
» Scouting Requirements Quality Using Visual Representations
Sort
View
AMAI
2006
Springer
15 years 2 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
ICCAD
1994
IEEE
99views Hardware» more  ICCAD 1994»
15 years 6 months ago
Condition graphs for high-quality behavioral synthesis
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gaj...
121
Voted
GI
1998
Springer
15 years 6 months ago
Workshop: Multimedia-Systeme
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
Hans-Jürgen Appelrath, Klaus Meyer-Wegener
134
Voted
AAAI
2007
15 years 4 months ago
An Intelligent System for Chinese Calligraphy
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau, Yunhe...
126
Voted
CGF
2008
137views more  CGF 2008»
15 years 2 months ago
Interaction-Dependent Semantics for Illustrative Volume Rendering
In traditional illustration the choice of appropriate styles and rendering techniques is guided by the intention of the artist. For illustrative volume visualizations it is diffic...
Peter Rautek, Stefan Bruckner, M. Eduard Gröl...