2214 search results - page 136 / 443 » Complexity of Reasoning |
170
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
170
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
184
click to vote
CONTEXT
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
164
click to vote
RR
2007
Springer
16 years 16 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
148
click to vote
CEC
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract- Seeding the population of an evolutionary algorithm with solutions from previous runs has proved to be useful when learning control strategies for agents operating in a c...