Sciweavers

2138 search results - page 130 / 428
» Logics for the Relational Syllogistic
Sort
View
ICTAI
2007
IEEE
14 years 2 months ago
Qualitative Constraints Representation for the Time and Space in SAT
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
Jean-François Condotta, Dominique D'Almeida
CAEPIA
2005
Springer
14 years 1 months ago
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
IEAAIE
2005
Springer
14 years 1 months ago
Ontology-Based Natural Language Parser for E-Marketplaces
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciasci...
GLVLSI
2002
IEEE
122views VLSI» more  GLVLSI 2002»
14 years 1 months ago
A compact delay model for series-connected MOSFETs
A compact delay model for series connected MOSFETs has been derived. This model enables accurate prediction of worst-case delay of different logic families such as dynamic logic. ...
Kaveh Shakeri, James D. Meindl
DBPL
2001
Springer
118views Database» more  DBPL 2001»
14 years 19 days ago
On Monotone Data Mining Languages
Abstract. We present a simple Data Mining Logic (DML) that can express common data mining tasks, like “Find Boolean association rules” or “Find inclusion dependencies.” At ...
Toon Calders, Jef Wijsen