4067 search results - page 474 / 814 » Programs for Applying Symmetries |
169
click to vote
FCT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
184
click to vote
GPCE
2007
Springer
16 years 25 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
188
click to vote
ILP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
169
click to vote
XPU
2007
Springer
16 years 23 days ago
2007
Springer
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
161
click to vote
CIBCB
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— We propose a new method for collecting information on regulatory elements found by any motif discovery program. We suggest that combining the results of n leave-oneout ...