3828 search results - page 737 / 766 » Proof-Based System Engineering Using a Virtual System Model |
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Recently, flash-based solid-state drives (SSDs) have become standard options for laptop and desktop storage, but their impact on enterprise server storage has not been studied. P...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Today, semantic concept based video retrieval systems often show insufficient performance for real-life applications. Clearly, a big share of the reason is the lacking performance...
AAMAS
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we investigate Reinforcement learning (RL) in multi-agent systems (MAS) from an evolutionary dynamical perspective. Typical for a MAS is that the environment is not ...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Automatic annotation is an elegant alternative to explicit recognition in images. In annotation, the image is matched with keyword models, and the most relevant keywords are assig...