Sciweavers

840 search results - page 95 / 168
» XML: From Practice to Theory
Sort
View
RC
2002
96views more  RC 2002»
13 years 8 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
PUC
2007
135views more  PUC 2007»
13 years 8 months ago
Towards a Multimodal Interaction Space: categorisation and applications
Based on many experiences of developing interactive systems by the authors, a framework for the description and analysis of interaction has been developed. The dimensions of this m...
Bert Bongers, Gerrit C. van der Veer
IWEC
2010
13 years 7 months ago
Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience
This study focuses on motion in user interfaces as a design element which can contribute to an improved user experience of digital media entertainment. The design for user experien...
Doyun Park, Ji-Hyun Lee
AIEDAM
2010
152views more  AIEDAM 2010»
13 years 6 months ago
A content account of creative analogies in biologically inspired design
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...
Swaroop Vattam, Michael E. Helms, Ashok K. Goel
CCIA
2010
Springer
13 years 4 months ago
WizArg: Visual Argumentation Framework Solving Wizard
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
Ignasi Gómez-Sebastià, Juan Carlos N...