691 search results - page 121 / 139 » Automatically Proving Linearizability |
FLAIRS
2008
15 years 1 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...
105
click to vote
ESWS
2008
Springer
14 years 11 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...
105
click to vote
SDM
2004
SIAM
14 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
14 years 9 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
14 years 9 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...