Sciweavers

866 search results - page 69 / 174
» A Formal Investigation of
Sort
View
CCA
2000
Springer
14 years 2 months ago
A Computable Spectral Theorem
Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them su...
Martin Ziegler, Vasco Brattka
ECAI
2006
Springer
14 years 1 months ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
TASE
2007
IEEE
14 years 4 months ago
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
Jing Dong, Tu Peng, Zongyan Qiu
NAACL
2007
13 years 11 months ago
Randomized Decoding for Selection-and-Ordering Problems
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
Pawan Deshpande, Regina Barzilay, David R. Karger
IJBRA
2007
114views more  IJBRA 2007»
13 years 10 months ago
Enhanced semantic access to the protein engineering literature using ontologies populated by text mining
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
René Witte, Thomas Kappler, Christopher J. ...