997 search results - page 7 / 200 » Completely Lazy Learning |
120
click to vote
IDA
2006
Springer
14 years 11 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
14 years 11 months ago
2007
VC
2010
14 years 10 months ago
2010
FORMATS
2004
Springer
15 years 5 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
15 years 5 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 ...