Sciweavers

9186 search results - page 1216 / 1838
» A Module System for Scheme
Sort
View
182
Voted
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
16 years 26 days ago
On the behavioral diversity of random programs
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...
Moshe Looks
LFCS
2007
Springer
16 years 26 days ago
Model Checking Knowledge and Linear Time: PSPACE Cases
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...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
16 years 23 days ago
A New Quantization for Rate Control with Frame Variation Consideration
— 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...
Seonki Kim, Seong-Jae Lim
IWCMC
2006
ACM
16 years 20 days ago
Budgeting power: packet duplication and bit error rate reduction in wireless ad-hoc networks
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...
Ghassen Ben Brahim, Bilal Khan
NETGAMES
2005
ACM
16 years 8 days ago
Packetization interval of haptic media in networked virtual environments
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...
Masaki Fujimoto, Yutaka Ishibashi
« Prev « First page 1216 / 1838 Last » Next »