2670 search results - page 121 / 534 » Modeling systems with internal state using evolino |
157
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
157
click to vote
ALIFE
2007
15 years 6 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
165
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
182
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
196
click to vote
KBSE
2005
IEEE
16 years 6 hour ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...