2702 search results - page 457 / 541 » Practically Applicable Formal Methods |
GRAPHICSINTERFACE
2001
13 years 9 months ago
2001
Stereoscopic display is fundamental to many virtual reality systems. Stereoscopic systems render two perspective views of a scene one for each eye of the user. Ideally the user�...
SODA
2004
ACM
13 years 9 months ago
2004
ACM
The (axis-parallel) stabbing number of a given set of line segments is the maximum number of segments that can be intersected by any one (axis-parallel) line. We investigate probl...
SPLC
2004
13 years 9 months ago
2004
This paper elaborates on the coordination and management of evolving software product-lines, where development teams work around a shared and reusable domain infrastructure. The tr...
WOB
2004
13 years 9 months ago
2004
ABSTRACT. Reconfigurable systolic arrays can be adapted to efficiently resolve a wide spectrum of computational problems; parallelism is naturally explored in systolic arrays and r...
IIE
2008
13 years 8 months ago
2008
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...