2335 search results - page 225 / 467 » Type Checking Type Classes |
175
click to vote
VLDB
2007
ACM
16 years 25 days ago
2007
ACM
An optimization query asks for one or more data objects that maximize or minimize some function over the data set. We propose a general class of queries, model-based optimization ...
96
Voted
ALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
101
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
109
Voted
MMM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, a novel learning based method is proposed for No-Reference image quality assessment. Instead of examining the exact prior knowledge for the given type of distortion...
99
Voted
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
we propose a repository to characterize OO evolution problematic. The two main objectives are to characterize object evolution according to its own features, and to uniformly analy...