7064 search results - page 1240 / 1413 » From States to Histories |
210
click to vote
IWLCS
2005
Springer
16 years 1 days ago
2005
Springer
Aiming to clarify the convergence or divergence conditions for Learning Classifier System (LCS), this paper explores: (1) an extreme condition where the reinforcement process of ...
162
click to vote
UML
2005
Springer
16 years 19 hour ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
146
click to vote
VLDB
2005
ACM
16 years 18 hour ago
2005
ACM
Heterogeneous and dirty data is abundant. It is stored under different, often opaque schemata, it represents identical real-world objects multiple times, causing duplicates, and ...
191
click to vote
VLDB
2005
ACM
16 years 18 hour ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
165
click to vote
VSTTE
2005
Springer
16 years 17 hour ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...