1456 search results - page 124 / 292 » An Overview of the SODA System |
154
click to vote
AVI
2008
15 years 8 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...
163
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
150
click to vote
IDA
2009
Springer
2009
Springer
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation
16 years 1 months ago
Abstract. This paper introduces the first community-based Signal Separation Evaluation Campaign (SiSEC 2008), coordinated by the authors. This initiative aims to evaluate source s...
147
click to vote
CSMR
2008
IEEE
16 years 27 days ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
151
click to vote
ICAT
2006
IEEE
16 years 14 days ago
2006
IEEE
In supra-adaptive logistics systems, operative workers must be able to quickly and precisely retrieve objects from large storage areas with minimal training. We explore concepts to...