Sciweavers

5109 search results - page 167 / 1022
» On Learning Limiting Programs
Sort
View
ACMIDC
2008
15 years 8 months ago
Supporting children as they program to make physical and virtual objects interact
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
Amon Millner
CDC
2008
IEEE
206views Control Systems» more  CDC 2008»
16 years 16 days ago
Approximate dynamic programming using support vector regression
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
Brett Bethke, Jonathan P. How, Asuman E. Ozdaglar
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
15 years 11 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
GECCO
2006
Springer
202views Optimization» more  GECCO 2006»
15 years 9 months ago
Evolving hash functions by means of genetic programming
The design of hash functions by means of evolutionary computation is a relatively new and unexplored problem. In this work, we use Genetic Programming (GP) to evolve robust and fa...
César Estébanez, Julio César ...
EUSFLAT
2007
124views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
Umberto Straccia, Fernando Bobillo