11561 search results - page 278 / 2313 » A Language for Biochemical Systems |
171
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
176
click to vote
AAAI
2007
2007
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language
15 years 9 months ago
Examples of figurative language can range from the explicit and the obvious to the implicit and downright enigmatic. Some simpler forms, like simile, often wear their meanings on...
177
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Understanding answers to open-ended explanation questions is important in intelligent tutoring systems. Existing systems use natural language techniques in essay analysis, but rev...
187
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we focus on XML data integration by studying rewritings of XML target schemas in terms of source schemas. Rewriting is very important in data integration systems wh...
194
click to vote
LREC
2010
15 years 8 months ago
2010
This paper examines how Natural Language Process (NLP) resources and online dialogue corpora can be used to extend coverage of Information Extraction (IE) templates in a Spoken Di...