11538 search results - page 415 / 2308 » From Text to Knowledge |
200
click to vote
LPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
159
click to vote
BPM
2000
Springer
15 years 11 months ago
2000
Springer
This chapter describes a novel knowledge-based methodology and computer toolset for helping business process designers and participants better manage exceptions (unexpected deviati...
172
click to vote
KBS
2002
15 years 6 months ago
2002
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...
197
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Often scientists seek to search for articles on the Web related to a particular chemical. When a scientist searches for a chemical formula using a search engine today, she gets ar...
165
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we address the problem of detecting topics in large-scale linked document collections. Recently, topic detection has become a very active area of research due to its...