501 search results - page 82 / 101 » Diagram Techniques for Confluence |
130
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
163
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
141
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
176
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
162
click to vote
ICDS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...