Sciweavers

1358 search results - page 250 / 272
» An inductive database and query language in the relational m...
Sort
View
ICSM
2005
IEEE
15 years 11 months ago
Context-Free Slicing of UML Class Models
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
Huzefa H. Kagdi, Jonathan I. Maletic, Andrew Sutto...
LATIN
2004
Springer
15 years 11 months ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
ERCIMDL
2010
Springer
142views Education» more  ERCIMDL 2010»
15 years 7 months ago
Effective Term Weighting for Sentence Retrieval
A well-known challenge of information retrieval is how to infer a user's underlying information need when the input query consists of only a few keywords. Question Answering (...
Saeedeh Momtazi, Matthew Lease, Dietrich Klakow
DEXAW
2003
IEEE
109views Database» more  DEXAW 2003»
15 years 11 months ago
Metadata for Content Description In Legal Information
The paper describes the Jur-Wordnet (Jur-IWN) project, whose objective is an ontology-based extension to the legal domain of the Italian version of EuroWordNet. It aims at providi...
Maria-Teresa Sagri, Daniela Tiscornia
WOLLIC
2010
Springer
15 years 11 months ago
Modal Logics with Counting
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
Carlos Areces, Guillaume Hoffmann, Alexandre Denis