3388 search results - page 429 / 678 » Type-theoretic design patterns |
170
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
We demonstrate a system designed to assist a visually impaired individual while moving in an unfamiliar environment. Small and economical color markers are placed in key locations...
203
Voted
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
204
click to vote
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...
186
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—We describe our experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of th...
191
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
The problem of building Recommender Systems has attracted considerable attention in recent years, but most recommender systems are designed for recommending items for individuals....