9110 search results - page 496 / 1822 » Formally-Based Design Evaluation |
190
Voted
TACS
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
165
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
The process of collaborative engineering design is relatively complex, and often results in various conflicts due to multi-actors interactions. Therefore, a critical element of co...
161
Voted
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
A magnetic resonance (MR) compatible surgical assist robot system under preclinical evaluation is described. It is designed to coexist, and cooperate, with a surgeon, and to positi...
170
Voted
COLING
1996
15 years 8 months ago
1996
JANUS is a multi-lingual speech-tospeech translation system designed to facilitate communication between two parties engaged in a spontaneous conversation in a limited domain. In ...
161
Voted
BEHAVIOURIT
2007
15 years 7 months ago
2007
This paper presents a longitudinal study of the course ‘High-tech Entrepreneurship and New Media’. The course design is based on socio-cultural theories of learning and consid...