4631 search results - page 122 / 927 » Experiences with an Environment Generation System |
146
click to vote
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
136
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
127
Voted
ISER
1997
Springer
15 years 8 months ago
1997
Springer
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
149
click to vote
EDM
2008
15 years 5 months ago
2008
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
129
click to vote
ICINCO
2007
15 years 5 months ago
2007
— Distributed sensing refers to measuring systems where instead of one sensor multiple sensors are spatially distributed improving robustness of the system, increasing relevancy ...