3342 search results - page 304 / 669 » Symbolic Robustness Analysis |
193
click to vote
ICB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...
181
click to vote
ISVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
FinFET technology has been proposed as a promising alternative for deep sub-micro bulk CMOS technology, because of its better scalability. Previous work have studied the performan...
157
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
177
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
177
click to vote
BIOADIT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The responses of flexible bionetworks to extreme environmental changes were studied in several microorganisms. Gene and metabolic networks markedly changed with osmotic ...