Sciweavers

CONSTRAINTS
2010
153views more  CONSTRAINTS 2010»
13 years 8 months ago
Philosophy of the MiniZinc challenge
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
Peter J. Stuckey, Ralph Becket, Julien Fischer
HCI
2007
14 years 18 days ago
Evaluation and Usability of Back Translation for Intercultural Communication
When users communicate with each other via machine translation, it is important to improve the quality of the translations. The “Back Translation” technique can improve the tra...
Tomohiro Shigenobu
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
14 years 2 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
SPIN
1999
Springer
14 years 3 months ago
Embedding a Dialect of SDL in PROMELA
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
Heikki Tuominen
LPNMR
2007
Springer
14 years 5 months ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele