Sciweavers

481 search results - page 43 / 97
» Towards Machine Translation Using Contextual Information
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 6 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
ICDM
2006
IEEE
107views Data Mining» more  ICDM 2006»
14 years 1 months ago
Improving Grouped-Entity Resolution Using Quasi-Cliques
The entity resolution (ER) problem, which identifies duplicate entities that refer to the same real world entity, is essential in many applications. In this paper, in particular,...
Byung-Won On, Ergin Elmacioglu, Dongwon Lee, Jaewo...
CSEE
2008
Springer
13 years 9 months ago
Improving Knowledge Acquisition in Capstone Projects Using Learning Spaces for Experiential Learning
Students have to cope with new technologies, changing environments, and conflicting changes in capstone projects. They often lack practical experience, which might lead to failing...
Eric Ras, Jörg Rech
SIGLEX
1991
13 years 11 months ago
Acquiring and Representing Semantic Information in a Lexical Knowledge Base
The paper focuses on the description of the approach, taken within the ESPRIT BRA project ACQUILEX, towards: i) acquisition of semantic information from several machine- readable ...
Nicoletta Calzolari
BMCBI
2005
120views more  BMCBI 2005»
13 years 7 months ago
pSLIP: SVM based protein subcellular localization prediction using multiple physicochemical properties
Background: Protein subcellular localization is an important determinant of protein function and hence, reliable methods for prediction of localization are needed. A number of pre...
Deepak Sarda, Gek Huey Chua, Kuo-Bin Li, Arun Kris...