Sciweavers

1691 search results - page 68 / 339
» 'Field' work
Sort
View
CORR
2008
Springer
154views Education» more  CORR 2008»
14 years 11 months ago
Coinductive Formal Reasoning in Exact Real Arithmetic
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
Milad Niqui
FMOODS
2006
15 years 14 days ago
Synchronizing Behavioural Mismatch in Software Composition
Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related...
Carlos Canal, Pascal Poizat, Gwen Salaün
INSK
2006
53views more  INSK 2006»
14 years 11 months ago
DRM
In this paper we will discuss the effects that digital rights management has upon the music industry. Whether it hinders the consumers experience and whether there is any actual b...
ELPUB
2006
ACM
15 years 5 months ago
Vectorization of Glyphs and Their Representation in SVG for XML based Processing
This paper shows an approach for converting bitmap images of text glyphs into a vector format which is suitable for being embedded in XML representations of digitized documents. T...
Stefan Pletschacher, Marcel Eckert, Arved C. H&uum...
BCSHCI
2007
15 years 16 days ago
Emotion in HCI
An increasing number of conferences, symposia, workshops, journals and books address the subject of emotions and their role in Human-Computer Interaction, including workshops at t...
Christian Peter, Russell Beale, Elizabeth A. Crane...