2441 search results - page 364 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
121
click to vote
AUSDM
2007
Springer
15 years 10 months ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
141
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
129
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
We describe a new paradigm for performing search in context. In the IntelliZap system we developed, search is initiated from a text query marked by the user in a document she view...
265
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
125
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Automatic segmentation of the esophagus from CT data is a challenging problem. Its wall consists of muscle tissue, which has low contrast in CT. Sometimes it is filled with air or...