11561 search results - page 156 / 2313 » A Language for Biochemical Systems |
165
Voted
ACL
2006
15 years 7 months ago
2006
This paper explores the relationship between the translation quality and the retrieval effectiveness in Machine Translation (MT) based Cross-Language Information Retrieval (CLIR)....
165
Voted
JCS
2007
15 years 6 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
172
Voted
WCE
2007
15 years 7 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...
172
Voted
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
140
Voted
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...