831 search results - page 88 / 167 » Sweeping with Continuous Domains |
116
click to vote
DSONLINE
2008
15 years 20 days 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...
96
Voted
IJAR
2008
15 years 18 days 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, ...
100
Voted
IJMC
2008
15 years 18 days 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
15 years 15 days 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...
108
Voted
AC
2005
Springer
15 years 15 days 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...