3116 search results - page 130 / 624 » Positively dependent types |
148
click to vote
WOWMOM
2005
ACM
15 years 10 months ago
2005
ACM
We present in this paper an analytical model that accounts for the positions of stations with respect to the Access Point (AP) while evaluating the performance of 802.11 MAC layer...
152
click to vote
AAAI
2007
15 years 6 months ago
2007
We present a method of visualizing and adjusting the evaluation functions in game programming in this paper. It is widely recognized that an evaluation function should assign a hi...
172
click to vote
RAS
2002
15 years 4 months ago
2002
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
152
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
149
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...