Sciweavers

6014 search results - page 800 / 1203
» Parametric Analysis of Computer Systems
Sort
View
CORR
2007
Springer
68views Education» more  CORR 2007»
15 years 6 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
SOFTWARE
1998
15 years 6 months ago
A New Way to Query GISs on the Web
BMS organizes information in abstract name spaces and lets users refer to thedatathroughtheirvalues,whileaspatialDBMSorganizesinformationinconcrete 2D geometric spaces and lets use...
Serena Coetzee, Judith Bishop
SAC
2002
ACM
15 years 6 months ago
Coordination middleware for XML-centric applications
This paper focuses on coordination middleware for distributed applications based on active documents and XML technologies. It introduces the main concepts underlying active docume...
Paolo Ciancarini, Robert Tolksdorf, Franco Zambone...
204
Voted
SAC
2008
ACM
15 years 6 months ago
Spatial vagueness and imprecision in databases
The impossibility of current spatial database systems and GIS to handle spatial vagueness and imprecision has been recognized as an important problem in the spatial database domai...
Alejandro Pauly, Markus Schneider
SAC
2008
ACM
15 years 6 months ago
Discovering relationships among categories using misclassification information
Knowledge of relationships among categories is of the interest in different domains such as text classification, content analysis, and text mining. We propose and evaluate approac...
Saket S. R. Mengle, Nazli Goharian, Alana Platt