2214 search results - page 136 / 443 » Complexity of Reasoning |
127
Voted
CADE
2008
Springer
16 years 3 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...
126
Voted
ATAL
2007
Springer
15 years 9 months 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...
139
Voted
CONTEXT
2007
Springer
15 years 9 months 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...
127
click to vote
RR
2007
Springer
15 years 9 months 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...
104
Voted
CEC
2005
IEEE
15 years 9 months 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...