3440 search results - page 635 / 688 » Logics For Context-Free Languages |
174
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
135
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...
180
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
183
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
142
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...