831 search results - page 88 / 167 » Sweeping with Continuous Domains |
DSONLINE
2008
13 years 8 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
IJAR
2008
13 years 8 months ago
2008
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...
IJMC
2008
13 years 8 months ago
2008
: Mobile technology is a continuously growing domain and research activities regarding its use are quite intensive. A questionnaire regarding the use of mobile devices was develope...
SIAMSC
2008
13 years 8 months ago
2008
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
AC
2005
Springer
13 years 8 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...