9105 search results - page 668 / 1821 » Design of the MUC-6 evaluation |
195
Voted
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
204
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 ...
186
click to vote
CSCWD
2006
Springer
15 years 11 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...
182
Voted
MICCAI
2000
Springer
15 years 11 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...
182
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 ...