Sciweavers

3865 search results - page 141 / 773
» From Bidirectionality to Alternation
Sort
View
ICLP
2009
Springer
16 years 5 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
KDD
2009
ACM
173views Data Mining» more  KDD 2009»
16 years 5 months ago
The offset tree for learning with partial labels
We present an algorithm, called the offset tree, for learning in situations where a loss associated with different decisions is not known, but was randomly probed. The algorithm i...
Alina Beygelzimer, John Langford
CP
2005
Springer
15 years 10 months ago
Towards the Systematic Generation of Channelling Constraints
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
Bernadette Martínez Hernández, Alan ...
GECCO
2003
Springer
113views Optimization» more  GECCO 2003»
15 years 10 months ago
Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
Leonardo Bottaci
JSAI
2001
Springer
15 years 9 months ago
FaintPop : In Touch with the Social Relationships
In this paper we propose a tool called FaintPop. It is a media designed for a community, with which the sense of connectedness can be shared among members. It is intended to be an ...
Takeshi Ohguro, Kazuhiro Kuwabara, Tatsuo Owada, Y...