Sciweavers

2488 search results - page 388 / 498
» An improvement in formal verification
Sort
View
DAGSTUHL
2007
15 years 3 months ago
Empirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
Jeffrey Carver
LREC
2008
102views Education» more  LREC 2008»
15 years 3 months ago
Integrating Lexical Units, Synsets and Ontology in the Cornetto Database
Cornetto is a two-year Stevin project (project number STE05039) in which a lexical semantic database is built that combines Wordnet with Framenet-like information for Dutch. The c...
Piek T. J. M. Vossen, Isa Maks, Roxane Segers, Hen...
LREC
2008
162views Education» more  LREC 2008»
15 years 3 months ago
Semiotic-based Ontology Evaluation Tool (S-OntoEval)
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
Renata Dividino, Massimo Romanelli, Daniel Sonntag
NIPS
2008
15 years 3 months ago
Evaluating probabilities under high-dimensional latent variable models
We present a simple new Monte Carlo algorithm for evaluating probabilities of observations in complex latent variable models, such as Deep Belief Networks. While the method is bas...
Iain Murray, Ruslan Salakhutdinov
EMNLP
2006
15 years 2 months ago
Feature Subsumption for Opinion Analysis
Lexical features are key to many approaches to sentiment analysis and opinion detection. A variety of representations have been used, including single words, multi-word Ngrams, ph...
Ellen Riloff, Siddharth Patwardhan, Janyce Wiebe