997 search results - page 7 / 200 » Completely Lazy Learning |
IDA
2006
Springer
13 years 9 months ago
2006
Springer
Symbolic data analysis aims at generalizing some standard statistical data mining methods, such as those developed for classification tasks, to the case of symbolic objects (SOs). ...
ESWA
2007
13 years 9 months ago
2007
VC
2010
13 years 8 months ago
2010
FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
PPDP
2004
Springer
14 years 3 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...