9425 search results - page 1553 / 1885 » Some Notes on Models and Modelling |
189
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
194
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
172
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
156
click to vote
APGV
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
198
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...