9067 search results - page 456 / 1814 » Adaptive Model Checking |
183
click to vote
ALIFE
1998
15 years 6 months ago
1998
A theoretical and experimental analysis is made of the effects of self-adaptation in a simple evolving system. Specifically, we consider the effects of coding the mutation and ...
162
click to vote
COLING
2010
15 years 1 months ago
2010
We present a framework where auxiliary MT systems are used to provide lexical predictions to a main SMT system. In this work, predictions are obtained by means of pivoting via aux...
193
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Adaptive Hypermedia (AH) can offer a richer learning experience, tailored to students’ needs. However, authoring of AH is complex. Several models and systems have been developed...
219
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
In this chapter we discuss various aspects of adaptive mobile guide applications. After having motivated the need for web based mobile applications, we will discuss technologies th...
181
click to vote
VTC
2006
IEEE
16 years 27 days ago
2006
IEEE
— Throughput maximization in a packet switched wireless communication system is considered in this paper. The channel variation is accounted for by modeling the channel as a fin...