Sciweavers

8828 search results - page 353 / 1766
» Formal methods in practice
Sort
View
159
Voted
ESWS
2006
Springer
15 years 10 months ago
A Method to Convert Thesauri to SKOS
Thesauri can be useful resources for indexing and retrieval on the Semantic Web, but often they are not published in RDF/OWL. To convert thesauri to RDF for use in Semantic Web app...
Mark van Assem, Véronique Malaisé, A...
UAI
2008
15 years 8 months ago
Projected Subgradient Methods for Learning Sparse Gaussians
Gaussian Markov random fields (GMRFs) are useful in a broad range of applications. In this paper we tackle the problem of learning a sparse GMRF in a high-dimensional space. Our a...
John Duchi, Stephen Gould, Daphne Koller
ACL
2004
15 years 8 months ago
Extending the BLEU MT Evaluation Method with Frequency Weightings
We present the results of an experiment on extending the automatic method of Machine Translation evaluation BLUE with statistical weights for lexical items, such as tf.idf scores....
Bogdan Babych, Tony Hartley
FLAIRS
2004
15 years 8 months ago
Context-Based Representation of the Task/Method Paradigm
The simultaneous consideration of various notions (practice, procedure, prescribed task, effective task, task space, task search, task, method, activity) shows that the task accom...
Patrick Brézillon, E. Marquois
COGSCI
2008
65views more  COGSCI 2008»
15 years 6 months ago
A Survey of Model Evaluation Approaches With a Tutorial on Hierarchical Bayesian Methods
We review current methods for evaluating models in the cognitive sciences, including theoretically-based approaches, such as Bayes Factors and MDL measures, simulation approaches,...
Richard M. Shiffrin, Michael D. Lee, Woojae Kim, E...