Sciweavers

1878 search results - page 5 / 376
» Feature Generation Using General Constructor Functions
Sort
View
ENTCS
2006
137views more  ENTCS 2006»
13 years 7 months ago
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
Furio Honsell, Marina Lenisa, Rekha Redamalla
SIGIR
2008
ACM
13 years 7 months ago
Learning from labeled features using generalized expectation criteria
It is difficult to apply machine learning to new domains because often we lack labeled problem instances. In this paper, we provide a solution to this problem that leverages domai...
Gregory Druck, Gideon S. Mann, Andrew McCallum
GECCO
2009
Springer
148views Optimization» more  GECCO 2009»
14 years 10 days ago
BBOB-benchmarking the generalized generation gap model with parent centric crossover
The generalized generation gap (G3) model of an evolutionary algorithm equipped with the parent centric crossover (PCX) is tested on the BBOB 2009 benchmark testbed. To improve it...
Petr Posik
TPHOL
1997
IEEE
13 years 12 months ago
Higher Order Quotients and their Implementation in Isabelle HOL
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
Oscar Slotosch
AC
2003
Springer
14 years 29 days ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring