2651 search results - page 26 / 531 » Experiences with the Use of a Configuration Language |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
JASIS
2008
13 years 7 months ago
2008
Research on cross-language information retrieval (CLIR) has typically been restricted to settings using binary relevance assessments. In this paper, we present evaluation results f...
AMKM
2003
Springer
14 years 28 days ago
2003
Springer
We report on experience with using RDF to provide a rich content language for use with FIPA agent toolkits, and on RDFS as a metadata language. We emphasise their utility for prog...
AH
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper studies the properties of a helpful and trustworthy explanation in a movie recommender system. It discuss the results of an experiment based on a natural langu...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we describe FLEXBUS, a flexible, high-performance onchip communication architecture featuring a dynamically configurable topology. FLEXBUS is designed to detect run...