2517 search results - page 246 / 504 » Specifying Weak Sets |
163
click to vote
EEMMAS
2007
Springer
16 years 25 days ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
141
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
170
click to vote
KES
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose a financial trading system whose strategy is developed by means of an artificial neural network approach based on a recurrent reinforcement learning algo...
141
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
150
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...