140 search results - page 6 / 28 » Spatial Analysis and Modeling Tool (SAMT): 2. Applications |
PLDI
2005
ACM
14 years 27 days ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...
BMCBI
2008
13 years 7 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
FMOODS
2007
13 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
BMCBI
2008
13 years 7 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...