2702 search results - page 527 / 541 » Practically Applicable Formal Methods |
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Web browser history detection using CSS visited styles has long been dismissed as an issue of marginal impact. However, due to recent changes in Web usage patterns, coupled with br...
AIPS
2010
13 years 8 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
ALMOB
2007
13 years 8 months ago
2007
Background: Feature selection plays an undeniably important role in classification problems involving high dimensional datasets such as microarray datasets. For filter-based featu...
TMI
2008
13 years 7 months ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...
CG
1999
Springer
13 years 7 months ago
1999
Springer
In order to make direct volume rendering practicable convenient visualization options and data analysis tools have to be integrated. For example, direct rendering of semi-transpar...