Sciweavers

25041 search results - page 4115 / 5009
» Algorithms for Clustering Data
Sort
View
ENVSOFT
2010
161views more  ENVSOFT 2010»
15 years 7 months ago
Graphical user interface for rapid set-up of SHETRAN physically-based river catchment model
The SHETRAN physically-based distributed rainfall-runoff modelling system gives detailed simulations in time and space of water flow and sediment and solute transport in river cat...
Stephen J. Birkinshaw, Philip James, John Ewen
AIR
2006
46views more  AIR 2006»
15 years 7 months ago
Spatial inference with geometric proportional analogies
Abstract We describe an instance-based reasoning solution to a variety of spatial reasoning problems. The solution centers on identifying an isomorphic mapping between labelled gra...
Emma-Claire Mullally, Diarmuid P. O'Donoghue
ENTCS
2008
121views more  ENTCS 2008»
15 years 7 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
AUTOMATICA
2006
111views more  AUTOMATICA 2006»
15 years 7 months ago
The minimal disturbance invariant set: Outer approximations via its partial sums
This paper is concerned with outer approximations of the minimal disturbance invariant set (MDIS) of a discrete-time linear system with an additive set-bounded disturbance. The k-...
Chong Jin Ong, Elmer G. Gilbert
DKE
2006
100views more  DKE 2006»
15 years 7 months ago
An ontology based approach to the integration of entity-relationship schemas
In schema integration, schematic discrepancies occur when data in one database correspond to metadata in another. We explicitly declare the context that is the meta information re...
Qi He, Tok Wang Ling
« Prev « First page 4115 / 5009 Last » Next »