895 search results - page 114 / 179 » A Spectrum of Applications of Automated Reasoning |
CL
2010
Springer
14 years 10 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
101
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
MICAI
2000
Springer
15 years 1 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
153
click to vote
GIS
2007
ACM
15 years 11 months ago
2007
ACM
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
157
click to vote
GIS
2004
ACM
15 years 11 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...