4067 search results - page 504 / 814 » Programs for Applying Symmetries |
171
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
201
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
193
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
198
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
168
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...