Sciweavers

1974 search results - page 39 / 395
» Conditional Purchase Orders
Sort
View
RSFDGRC
2005
Springer
126views Data Mining» more  RSFDGRC 2005»
14 years 3 months ago
Rough Sets and Higher Order Vagueness
Abstract. We present a rough set approach to vague concept approximation within the adaptive learning framework. In particular, the role of extensions of approximation spaces in se...
Andrzej Skowron, Roman W. Swiniarski
CSL
2006
Springer
14 years 1 months ago
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
Alexander Moshe Rabinovich, Wolfgang Thomas
EON
2008
13 years 11 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
CONCUR
1997
Springer
14 years 1 months ago
First-Order Axioms for Asynchrony
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
Peter Selinger
IJBC
2010
123views more  IJBC 2010»
13 years 7 months ago
Synchronization of Chaotic fractional-Order Systems via Linear Control
The chaotic dynamics of fractional-order systems has attracted much attention recently. Chaotic synchronization of fractional-order systems is further studied in this paper. We inv...
Zaid M. Odibat, Nathalie Corson, M. A. Aziz-Alaoui...