2520 search results - page 203 / 504 » Model-checking behavioral programs |
176
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
200
click to vote
SEMCO
2008
IEEE
16 years 24 days ago
2008
IEEE
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
186
Voted
ICTAI
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
213
click to vote
AE
2007
Springer
16 years 19 days ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...
167
Voted
MATES
2007
Springer
16 years 17 days ago
2007
Springer
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...