2455 search results - page 164 / 491 » Graphical abstract help |
104
click to vote
DATESO
2007
15 years 5 months ago
2007
Abstract. Several actions are usually performed when document is appended to textual database in information retrieval system. The most frequent actions are compression of the docu...
115
click to vote
ACL
2001
15 years 5 months ago
2001
We describe the use of XML tokenisation, tagging and mark-up tools to prepare a corpus for parsing. Our techniques are generally applicable but here on parsing Medline abstracts w...
121
click to vote
DELFI
2003
15 years 5 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
131
Voted
ISTA
2003
15 years 5 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
253
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...