Sciweavers

2335 search results - page 225 / 467
» Type Checking Type Classes
Sort
View
VLDB
2007
ACM
147views Database» more  VLDB 2007»
14 years 11 months ago
A General Framework for Modeling and Processing Optimization Queries
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 ...
Michael Gibas, Ning Zheng, Hakan Ferhatosmanoglu
ALT
2009
Springer
14 years 7 months ago
Iterative Learning from Texts and Counterexamples Using Additional Information
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...
Sanjay Jain, Efim B. Kinber
STACS
2010
Springer
14 years 5 months ago
Evolving Multialgebras Unify All Usual Sequential Computation Models
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...
Serge Grigorieff, Pierre Valarcher
MMM
2005
Springer
152views Multimedia» more  MMM 2005»
14 years 4 months ago
Learning No-Reference Quality Metric by Examples
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...
Hanghang Tong, Mingjing Li, HongJiang Zhang, Chang...
CAISE
2003
Springer
14 years 4 months ago
A study of Object Evolution
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...
Mourad Oussalah, Dalila Tamzalit