9186 search results - page 1216 / 1838 » A Module System for Scheme |
182
Voted
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
198
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
185
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
— The main role of rate control in video coding is to handle a trade-off between a bandwidth limit and a video quality. In the low-delay video communication systems, its responsi...
181
click to vote
IWCMC
2006
ACM
16 years 20 days ago
2006
ACM
In this paper we present and evaluate a new technique to lower packet-level error rates of application layer connections in wireless ad-hoc networks. In our scheme, data packets s...
167
click to vote
NETGAMES
2005
ACM
16 years 8 days ago
2005
ACM
This paper deals with the packetization interval of haptic media in networked virtual environments. We here handle work in which a user moves an object by manipulating a haptic in...