Sciweavers

798 search results - page 10 / 160
» Interval Methods: An Introduction
Sort
View
SAS
1999
Springer
113views Formal Methods» more  SAS 1999»
14 years 2 months ago
Model-Checking: A Tutorial Introduction
Markus Müller-Olm, David A. Schmidt, Bernhard...
ICCV
2003
IEEE
14 years 12 months ago
Globally Convergent Autocalibration
Existing autocalibration techniques use numerical optimization algorithms that are prone to the problem of local minima. To address this problem, we have developed a method where ...
Arrigo Benedetti, Alessandro Busti, Michela Farenz...
RC
2002
100views more  RC 2002»
13 years 9 months ago
Efficient Interval Linear Equality Solving in Constraint Logic Programming
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
Chong-Kan Chiu, Jimmy Ho-Man Lee
JCP
2006
139views more  JCP 2006»
13 years 10 months ago
Generalized Sequential Pattern Mining with Item Intervals
Sequential pattern mining is an important data mining method with broad applications that can extract frequent sequences while maintaining their order. However, it is important to ...
Yu Hirate, Hayato Yamana
SIGMOD
2004
ACM
143views Database» more  SIGMOD 2004»
14 years 10 months ago
Joining Interval Data in Relational Databases
The increasing use of temporal and spatial data in presentday relational systems necessitates an efficient support of joins on interval-valued attributes. Standard join algorithms...
Jost Enderle, Matthias Hampel, Thomas Seidl