9067 search results - page 262 / 1814 » Adaptive Model Checking |
153
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce a new histogram equalizationbased environmental model adaptation method for robust speech recognition in noise environments. The proposed method adapts...
151
click to vote
FLAIRS
2003
15 years 8 months ago
2003
In this paper, a new hybrid adaptation model for cancer diagnosis has been developed. It combines transformational and hierarchical adaptation techniques with artificial neural ne...
181
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
175
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
200
Voted
COGNITIVE
2001
Springer
15 years 11 months ago
2001
Springer
The relationship between our actions and their perceivable results is ruled by what we call the laws of nature. It is general understanding that our actions act upon real objects ...