5624 search results - page 540 / 1125 » On Conditional Covering Problem |
217
click to vote
CAIP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
154
click to vote
ICANN
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Dynamic neural filters (DNFs) are recurrent networks of binary neurons. Under proper conditions of their synaptic matrix they are known to generate exponentially large c...
177
click to vote
JIT
2005
Springer
16 years 17 days ago
2005
Springer
Dynamic AOP has been identified as a useful technique to implement an auto-adaptive framework. To supplement this policies based upon EventCondition-Action rules are used to specif...
166
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
188
click to vote
ECAI
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...