4924 search results - page 81 / 985 » A Software System for Spatial Data Analysis and Modeling |
FASE
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
CBSE
2006
Springer
13 years 10 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
A critical function in both machine vision and biological vision systems is attentional selection of scene regions worthy of further analysis by higher-level processes such as obj...