2253 search results - page 185 / 451 » The ComFoRT Reasoning Framework |
167
click to vote
GIS
2007
ACM
16 years 5 days ago
2007
ACM
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
196
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
95
Voted
NOMS
2008
IEEE
15 years 5 months ago
2008
IEEE
– Virtual Private Networks (VPNs) are a popular and cost-effective means to build wide-area corporate networks, since they provide bandwidth, privacy and security for a fraction ...
101
click to vote
ICIAR
2005
Springer
15 years 4 months ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...