Sciweavers

4767 search results - page 362 / 954
» Moving between Contexts
Sort
View
FORTE
1990
15 years 8 months ago
ASN.1 and Estelle Implementation Support Tools
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neuf...
CLEF
2010
Springer
15 years 8 months ago
A Plagiarism Detector for Intrinsic Plagiarism - Lab Report for PAN at CLEF 2010
In this paper, we describe the algorithm that has been used to carry out our plagiarism detection within the context of PAN10 competition. Our system is based on the LempelZiv dist...
Pablo Suárez, José Carlos Gonz&aacut...
ACMDIS
2010
ACM
15 years 7 months ago
HCI and environmental sustainability: the politics of design and the design of politics
Many HCI researchers have recently begun to examine the opportunities to use ICTs to promote environmental sustainability and ecological consciousness on the part of technology us...
Paul Dourish
177
Voted
ICASSP
2010
IEEE
15 years 7 months ago
Performance following: Tracking a performance without a score
We present a technique for following a live performance in the situation where a score is not available. Making use of a local alignment between recent and longer term musical inf...
Adam M. Stark, Mark D. Plumbley
189
Voted

Source Code
2846views
17 years 5 months ago
Armadillo C++ matrix library
Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. It is based on recursive templates. Integer, float...
Conrad Sanderson