343 search results - page 8 / 69 » Notes on the Jump of a Structure |
QSIC
2003
IEEE
15 years 5 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We argue for a compositional semantics grounded in a strongly typed ontology that reflects our commonsense view of the world and the way we talk about it. Assuming such a structure...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we present NiCEBook, a paper notebook that supports taking, structuring and reusing notes. Through a study of note-taking habits, we observed that different strateg...
103
click to vote
ALGORITHMICA
1998
14 years 11 months ago
1998
This short note considers the problem of point location in a Delaunay triangulation of n random points, using no additional preprocessing or storage other than a standard data stru...
DAGSTUHL
2008
15 years 1 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...