Sciweavers

15660 search results - page 14 / 3132
» The Unbalance of Set Systems
Sort
View
PADL
2004
Springer
15 years 3 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ISCI
2007
116views more  ISCI 2007»
14 years 10 months ago
Advances in type-2 fuzzy sets and systems
In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Inter...
Jerry M. Mendel
85
Voted
RSFDGRC
2005
Springer
151views Data Mining» more  RSFDGRC 2005»
15 years 3 months ago
DIXER - Distributed Executor for Rough Set Exploration System
We present the Distributed Executor for RSES (DIXER) which is a supplementary software for the Rough Set Exploration System (RSES). It takes an advantage of grid computing paradigm...
Jan G. Bazan, Rafal Latkowski, Marcin S. Szczuka
AUTOMATICA
2007
61views more  AUTOMATICA 2007»
14 years 10 months ago
Simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian systems
This paper investigates simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian (PCH) systems and proposes a number of results on the design of simultaneous s...
Yuzhen Wang, Gang Feng, Daizhan Cheng
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 2 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd