4693 search results - page 845 / 939 » Verifying Hybrid Systems |
122
Voted
RAS
2008
15 years 4 days ago
2008
State-of-the-art methods have recently achieved impressive performance for recognising the objects present in large databases of pre-collected images. There has been much less foc...
148
click to vote
TAOSD
2010
14 years 11 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
132
click to vote
CCS
2011
ACM
14 years 19 days ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
138
click to vote
AVBPA
2005
Springer
15 years 2 months ago
2005
Springer
Fusing the scores of several biometric systems is a very promising approach to improve the overall system’s accuracy. Despite many works in the literature, it is surprising that ...
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
In the past few years, there has been a trend of providing increased computing power through greater number of cores on a chip, rather than through higher clock speeds. In order t...