Sciweavers

1134 search results - page 178 / 227
» Composing Tests from Examples
Sort
View
KR
1998
Springer
14 years 2 months ago
On Measuring Plan Quality (A Preliminary Report)
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
Fangzhen Lin
MFCS
1998
Springer
14 years 2 months ago
Blockwise Variable Orderings for Shared BDDs
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...
Harry Preuß, Anand Srivastav
ECML
1997
Springer
14 years 2 months ago
Constructing Intermediate Concepts by Decomposition of Real Functions
In learning from examples it is often useful to expand an attribute-vector representation by intermediate concepts. The usual advantage of such structuring of the learning problemi...
Janez Demsar, Blaz Zupan, Marko Bohanec, Ivan Brat...
ASSETS
2007
ACM
14 years 1 months ago
SAMBA: a semi-automatic method for measuring barriers of accessibility
Although they play an important role in any assessment procedure, web accessibility metrics are not yet well developed and studied. In addition, most metrics are geared towards co...
Giorgio Brajnik, Raffaella Lomuscio
CVPR
2007
IEEE
14 years 1 months ago
Diverse Active Ranking for Multimedia Search
Interactively learning from a small sample of unlabeled examples is an enormously challenging task, one that often arises in vision applications. Relevance feedback and more recen...
ShyamSundar Rajaram, Charlie K. Dagli, Nemanja Pet...