Sciweavers

2672 search results - page 218 / 535
» Hybridizing Concept Languages
Sort
View
LREC
2010
130views Education» more  LREC 2010»
13 years 11 months ago
Linking Korean Words with an Ontology
This paper describes our ongoing work on linking Korean word senses with the concepts of an ontology. We have few Korean wordnets which are linked to upper-level ontologies, altho...
Min-Jae Kwon, Hae-Yun Lee, Hee-Rahk Chae
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
13 years 7 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
WCRE
2008
IEEE
14 years 4 months ago
An Empirical Study of Function Clones in Open Source Software
The new hybrid clone detection tool NICAD combines the strengths and overcomes the limitations of both textbased and AST-based clone detection techniques to yield highly accurate ...
Chanchal Kumar Roy, James R. Cordy
UM
2007
Springer
14 years 3 months ago
Feature-Weighted User Model for Recommender Systems
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
Panagiotis Symeonidis, Alexandros Nanopoulos, Yann...
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
14 years 2 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer