Sciweavers

4987 search results - page 632 / 998
» Fuzzifying P Systems
Sort
View
FAC
1998
111views more  FAC 1998»
15 years 6 months ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
JUCS
2002
81views more  JUCS 2002»
15 years 6 months ago
Membrane Computing: The Power of (Rule) Creation
: We consider a uniform way of treating objects and rules in P systems: we start with multisets of rules, which are consumed when they are applied, but the application of a rule ma...
Fernando Arroyo, Angel V. Baranda, Juan Castellano...
MCS
2002
Springer
15 years 6 months ago
On Combining One-Class Classifiers for Image Database Retrieval
Abstract. In image retrieval systems, images can be represented by single feature vectors or by clouds of points. A cloud of points offers a more flexible description but suffers f...
Carmen Lai, David M. J. Tax, Robert P. W. Duin, El...
SIMPAR
2010
386views Robotics» more  SIMPAR 2010»
15 years 5 months ago
Virtual Robot Experimentation Platform V-REP: A Versatile 3D Robot Simulator
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
Marc Freese, Surya P. N. Singh, Fumio Ozaki, Nobut...
DLOG
2010
15 years 4 months ago
Optimization Techniques for Fuzzy Description Logics
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos,...