315 search results - page 19 / 63 » Using Logic in the Generation of Referring Expressions |
217
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
BMCBI
2006
14 years 11 months ago
2006
Background: Publicly accessible EST libraries contain valuable information that can be utilized for studies of tissue-specific gene expression and processing of individual genes. ...
94
Voted
ASE
2010
14 years 11 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
116
Voted
KI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...