Sciweavers

831 search results - page 46 / 167
» Sweeping with Continuous Domains
Sort
View
VISUALIZATION
1999
IEEE
14 years 1 months ago
Exploring Geo-Scientific Data in Virtual Environments
This paper describes tools and techniques for the exploration of geo-scientific data from the oil and gas domain in stereoscopic virtual environments. The two main sources of data...
Bernd Fröhlich, Stephen Barrass, Björn Z...
KR
2004
Springer
14 years 2 months ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin
HICSS
2012
IEEE
260views Biometrics» more  HICSS 2012»
12 years 4 months ago
Effort Estimates for Vulnerability Discovery Projects
Security vulnerabilities continue to be an issue in the software field and new severe vulnerabilities are discovered in software products each month. This paper analyzes estimates...
Teodor Sommestad, Hannes Holm, Mathias Ekstedt
FOSSACS
2005
Springer
14 years 2 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
NAR
1998
161views more  NAR 1998»
13 years 8 months ago
Touring protein fold space with Dali/FSSP
The FSSP database and its new supplement, the Dali Domain Dictionary, present a continuously updated classification of all known 3D protein structures. The classification is deriv...
Liisa Holm, Chris Sander