1580 search results - page 155 / 316 » Cooperation in Aircraft Design |
164
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
146
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
183
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
147
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...
188
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
For effective cooperation, sharing of resources, a good social climate and therefore better learning, students need to maintain awareness of the social situation in a group or a c...