691 search results - page 121 / 139 » Automatically Proving Linearizability |
FLAIRS
2008
14 years 13 days ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
ESWS
2008
Springer
13 years 12 months ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
SDM
2004
SIAM
13 years 11 months ago
2004
SIAM
Automatic classification of documents is an important area of research with many applications in the fields of document searching, forensics and others. Methods to perform classif...
BMCBI
2008
13 years 10 months ago
2008
Background: Metabolic fluxes provide invaluable insight on the integrated response of a cell to environmental stimuli or genetic modifications. Current computational methods for e...
BMCBI
2008
13 years 10 months ago
2008
Background: Like text in other domains, biomedical documents contain a range of terms with more than one possible meaning. These ambiguities form a significant obstacle to the aut...