2004 search results - page 122 / 401 » Comparison of Model Checking Tools for Information Systems |
146
click to vote
JASIS
2000
15 years 4 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
129
click to vote
CISS
2010
IEEE
14 years 8 months ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
144
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
138
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
166
click to vote
VRML
2004
ACM
15 years 10 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...