5900 search results - page 227 / 1180 » Dependable Systems |
162
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
This paper discusses the QA system submitted by Dhirubhai Ambani Institute of Information and Communication Technology, India in the ResPubliQA 2010. We have participated in the mo...
173
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
126
click to vote
ACL
1998
15 years 7 months ago
1998
We discuss an interactive approach to robust interpretation in a large scale speech-to-speech translation system. Where other interactive approaches to robust interpretation have ...
191
click to vote
FM
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
162
click to vote
SOFSEM
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...