11168 search results - page 1541 / 2234 » Abstract State Processes |
152
click to vote
ECAL
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. Recently, brain models attempt to support cognitive abilities of artificial organisms. Incremental approaches are often employed to support modelling process. The presen...
172
click to vote
ECML
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
183
click to vote
ECSQARU
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
159
click to vote
EDCC
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
166
click to vote
EGC
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...