131 search results - page 22 / 27 » Applying Natural Language Processing Techniques to Augmentat... |
158
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
143
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
155
click to vote
FLAIRS
2008
15 years 7 months 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...
130
Voted
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
145
click to vote
WOTUG
2008
15 years 6 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...