4924 search results - page 716 / 985 » A Software System for Spatial Data Analysis and Modeling |
195
click to vote
ASE
2005
15 years 7 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
233
click to vote
EUROSSC
2007
Springer
16 years 1 months ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...
228
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
212
click to vote
JCB
2006
15 years 7 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
188
click to vote
DFG
2007
Springer
16 years 1 months ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...