Sciweavers

502 search results - page 50 / 101
» Declarative Programming with Function Patterns
Sort
View
PRL
2007
200views more  PRL 2007»
14 years 9 months ago
Generative learning of visual concepts using multiobjective genetic programming
This paper introduces a novel method of visual learning based on Genetic Programming, which evolves a population of individuals (image analysis programs) that process attributed v...
Krzysztof Krawiec
196
Voted
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 1 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
HICSS
2002
IEEE
150views Biometrics» more  HICSS 2002»
15 years 2 months ago
AUI: A Programming Language for Developing Plastic Interactive Software
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
Kevin A. Schneider, James R. Cordy
97
Voted
ALT
1995
Springer
15 years 1 months ago
Learning Unions of Tree Patterns Using Queries
This paper characterizes the polynomial time learnability of TPk, the class of collections of at most k rst-order terms. A collection in TPk de nes the union of the languages de n...
Hiroki Arimura, Hiroki Ishizaka, Takeshi Shinohara

Book
594views
16 years 7 months ago
A Gentle Introduction to Haskell
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes Monads,...
Paul Hudak, John Peterson, Joseph Fasel