Sciweavers

620 search results - page 48 / 124
» Methods and Practical Issues in Evaluating Alignment Techniq...
Sort
View
PUC
2008
113views more  PUC 2008»
15 years 27 days ago
Design and evaluation of systems to support interaction capture and retrieval
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally been successful. This paper presents studies that evaluate...
Steve Whittaker, Simon Tucker, Kumutha Swampillai,...
COLING
2008
15 years 2 months ago
Instance-Based Ontology Population Exploiting Named-Entity Substitution
We present an approach to ontology population based on a lexical substitution technique. It consists in estimating the plausibility of sentences where the named entity to be class...
Claudio Giuliano, Alfio Massimiliano Gliozzo
CAV
2012
Springer
270views Hardware» more  CAV 2012»
13 years 3 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
JCP
2008
144views more  JCP 2008»
15 years 1 months ago
Discourse Analysis of Public Debates Using Corpus Linguistic Methodologies
The aim of this study is to develop a computational method of discourse analysis based on corpus semantics. The objective is to achieve an accurate understanding of the debate cont...
Hayeong Jeong, Shun Shiramatsu, Kiyoshi Kobayashi,...
IS
2002
15 years 1 months ago
Evaluation of concurrency control strategies for mixed soft real-time database systems
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
Kam-yiu Lam, Tei-Wei Kuo, Ben Kao, Tony S. H. Lee,...