796 search results - page 140 / 160 » An Overview of Separation Logic |
109
click to vote
ACL
2010
14 years 10 months ago
2010
We present cdec, an open source framework for decoding, aligning with, and training a number of statistical machine translation models, including word-based models, phrase-based m...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
116
click to vote
BIBM
2010
IEEE
14 years 9 months ago
2010
IEEE
This study presents a novel computational approach to identifying a smoking-associated gene signature. The methodology contains the following steps: 1) identifying genes significa...
173
click to vote
ICAIL
2011
ACM
13 years 11 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
194
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...