Sciweavers

1742 search results - page 168 / 349
» An Applicative Module Calculus
Sort
View
GIS
2009
ACM
14 years 5 months ago
Topological relations from metric refinements
Naive Geography’s premise “Topology matters, metric refines” calls for metric properties that provide opportunities for finergrained distinctions than the purely qualitative...
Max J. Egenhofer, Matthew P. Dube
GIS
2009
ACM
14 years 3 months ago
A multidimensional model representing continuous fields in spatial data warehouses
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
Alejandro A. Vaisman, Esteban Zimányi
VLDB
1991
ACM
171views Database» more  VLDB 1991»
14 years 2 months ago
Language Constructs for Programming Active Databases
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
Richard Hull, Dean Jacobs
BIOCOMP
2006
14 years 5 days ago
Basic Reproductive Rate of a Spatial Epidemic Seir Model using Computer Algebra Software
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
Sebastian Guzmán, Juan Fernando Ospina
CSFW
2012
IEEE
12 years 1 months ago
Discovering Concrete Attacks on Website Authorization by Formal Analysis
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffe...