8828 search results - page 1527 / 1766 » Formal methods in practice |
161
click to vote
LREC
2008
15 years 8 months ago
2008
The paper presents a comparative study of semantic and lexical relations defined and adopted in WordNet and EuroWordNet. This document describes the experimental observations achi...
208
click to vote
LREC
2008
15 years 8 months ago
2008
Acquiring knowledge from the Web to build domain ontologies has become a common practice in the Ontological Engineering field. The vast amount of freely available information allo...
162
click to vote
IMECS
2007
15 years 8 months ago
2007
—In the context of multiple constant multiplications (MCM) design, we propose a novel common-subexpression-elimination (CSE) algorithm that models synthesis of coefficients into ...
165
click to vote
INTERACT
2007
15 years 8 months ago
2007
In this paper, we present ThumbSpace, a software-based interaction technique that provides general one-handed thumb operation of touchscreenbased mobile devices. Our goals are to p...
185
click to vote
NIPS
2008
15 years 8 months ago
2008
Spectral clustering is useful for a wide-ranging set of applications in areas such as biological data analysis, image processing and data mining. However, the computational and/or...