1270 search results - page 221 / 254 » IF Validation Environment Tutorial |
129
click to vote
SIGPLAN
1998
15 years 1 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
ICRA
2010
IEEE
15 years 13 days ago
2010
IEEE
— Up to now, mostly blunt human-robot impacts were investigated in the robotics literature. In this context, the influence of robot mass and velocity during rigid impacts with a...
131
click to vote
INFOCOM
2010
IEEE
15 years 11 days ago
2010
IEEE
—Generating a secret key between two parties by extracting the shared randomness in the wireless fading channel is an emerging area of research. Previous works focus mainly on si...
151
click to vote
JUCS
2010
15 years 10 days ago
2010
: Nowadays, personalized education is a very hot topic in technology enhanced learning (TEL) research. To support students during their learning process, the first step consists in...
136
click to vote
HCI
2009
14 years 11 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...