1477 search results - page 234 / 296 » What's the point of documentation |
PET
2010
Springer
13 years 10 months ago
2010
Springer
Mobile smartphone users frequently need to search for nearby points of interest from a location based service, but in a way that preserves the privacy of the users' locations...
DAGSTUHL
2010
13 years 9 months ago
2010
The display of surfaces and solids has usually been restricted to the domain of scientific visualization; however, little work has been done on the visualization of surfaces and s...
QNS
1996
13 years 9 months ago
1996
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental
oating point facilities of the...
BMCBI
2008
13 years 8 months ago
2008
Background: As an alternative to the frequently used "reference design" for two-channel microarrays, other designs have been proposed. These designs have been shown to b...
ENTCS
2006
13 years 8 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...