4924 search results - page 477 / 985 » A Software System for Spatial Data Analysis and Modeling |
203
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
201
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
174
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
The new concept and method of imposing imprecise (fuzzy) input and output data upon the conventional linear regression model is proposed in this paper. We introduce the fuzzy scala...
204
click to vote
DEXA
2005
Springer
16 years 10 days ago
2005
Springer
In contrast to alpha-numerical data, multimedia data can have a wide range of quality parameters such as spatial and temporal resolution, and compression format. Users can request ...
153
click to vote
CONCURRENCY
2008
15 years 7 months ago
2008
The exploration in many scientific disciplines (e.g., High-Energy Physics, Climate Modeling, and Life Sciences) involves the production and the analysis of massive data collection...