1270 search results - page 75 / 254 » IF Validation Environment Tutorial |
TCOM
2010
13 years 5 months ago
2010
A very general fading scenario is considered for which exact, closed-form formulas for the correlation coefficient of the instantaneous power at the output of a Maximal Ratio Combi...
JUCS
2008
13 years 10 months ago
2008
: During the last decades, digital objects have become the primary medium to create, shape, and exchange information. However, in contrast to analog objects such as books that dire...
SIGCSE
2009
ACM
14 years 11 months ago
2009
ACM
This paper describes the integration of the Alice 3D virtual worlds environment into a diverse set of subjects in middle school, including the development of tutorials, example wo...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
ROBOCUP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...