1995 search results - page 233 / 399 » The Chemical Abstract Machine |
135
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
Abstract. Current text classification systems typically use term stems for representing document content. Semantic Web technologies allow the usage of features on a higher semantic...
148
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
133
click to vote
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
131
click to vote
DATE
2009
IEEE
16 years 5 days ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
143
click to vote
TOOLS
2009
IEEE
16 years 4 days ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...