488 search results - page 83 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
122
click to vote
EUSFLAT
2009
15 years 27 days ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
132
click to vote
JGS
2010
14 years 10 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
137
click to vote
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
142
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
244
click to vote
EDM
2009
15 years 27 days ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...