JNCA
2006
13 years 4 months ago
2006
Smart applications are influencing our life more and more. This paper presents an application where pervasive
JKM
2006
13 years 4 months ago
2006
Purpose
EC
2007
13 years 4 months ago
2007
Steady-State models of Evolutionary Algorithms are widely used, yet surprisingly little attention has been paid to the effects arising from different replacement strategies. This ...
DMTCS
2007
13 years 4 months ago
2007
In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this g...
DM
2007
13 years 4 months ago
2007
In this paper, we obtain some new results R(5, 12) 848, R(5, 14) 1461, etc., and we obtain new upper bound formulas for Ramsey numbers with parameters. © 2006 Published by Elsevi...
JSW
2008
13 years 4 months ago
2008
- This paper investigates the effect of mobile
JBI
2006
13 years 4 months ago
2006
Throughout history, philosophers, scientists, and other scholars have named and organized the salient elements of the world. These efforts have led to conceptualizations that diff...
JBI
2006
13 years 4 months ago
2006
A 1998 paper that delineated desirable characteristics, or desiderata for controlled medical terminologies attempted to summarize emerging consensus regarding structural issues of...
JAT
2006
13 years 4 months ago
2006
In this paper we discuss Sobolev bounds on functions that vanish at scattered points on the n-sphere Sn in
JAPLL
2006
13 years 4 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...