Sciweavers

1358 search results - page 250 / 272
» An inductive database and query language in the relational m...
Sort
View
ICSM
2005
IEEE
15 years 3 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 3 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»
14 years 10 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 2 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 2 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