814 search results - page 163 / 163 » Machine Translation by Case Generalization |
117
Voted
JUCS
2007
15 years 1 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
105
Voted
IMC
2010
ACM
14 years 11 months ago
2010
ACM
Operators and researchers want accurate router-level views of the Internet for purposes including troubleshooting and modeling. However, tools such as traceroute return IP address...
106
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: The purpose of this manuscript is to provide, based on an extensive analysis of a proteomic data set, suggestions for proper statistical analysis for the discovery of ...
152
click to vote
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...