4693 search results - page 325 / 939 » Verifying Hybrid Systems |
166
click to vote
ERSA
2006
15 years 8 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Jerne's idiotypic-network theory postulates that the immune response involves interantibody stimulation and suppression, as well as matching to antigens. The theory has proved...
188
click to vote
INTR
2007
15 years 6 months ago
2007
This paper proposes a hybrid approach for managing knowledge within companies based on communication between people. In addition to traditional Knowledge Management Systems our co...
199
click to vote
ACL
2011
14 years 10 months ago
2011
Large vocabulary speech recognition systems fail to recognize words beyond their vocabulary, many of which are information rich terms, like named entities or foreign words. Hybrid...
147
click to vote
EUROPKI
2008
Springer
15 years 8 months ago
2008
Springer
Real world healthcare systems are generally large and overly complex systems. Designing privacy-friendly protocols for such systems is a challenging task. In this paper we present ...