Karen Villaverde

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3577323	2010-07-22	Paper
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters	2007-12-10	Paper
From intervals to domains: towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data	2007-02-02	Paper
Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms	2006-10-27	Paper
Checking if there exist a monotonic function that is consistent with the measurements: an efficient algorithm	2005-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4736501	2004-08-09	Paper
Hyper-spectral satellite images: Interval methods may be helpful	1999-11-08	Paper
Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark	1997-03-25	Paper
A quadratic-time algorithm for smoothing interval functions	1997-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4851639	1996-01-22	Paper

This page was built for person: Karen Villaverde