7961 search results - page 206 / 1593 » Input-Output Model Programs |
138
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
145
Voted
JAIR
2007
15 years 3 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
184
Voted
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...
115
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
148
Voted
ACL
2012
13 years 6 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...