Sciweavers

152 search results - page 23 / 31
» A Tutorial on the Cross-Entropy Method
Sort
View
ACL
2009
13 years 6 months ago
Reinforcement Learning for Mapping Instructions to Actions
In this paper, we present a reinforcement learning approach for mapping natural language instructions to sequences of executable actions. We assume access to a reward function tha...
S. R. K. Branavan, Harr Chen, Luke S. Zettlemoyer,...
ICSE
2007
IEEE-ACM
14 years 8 months ago
Engineering Medical Information Systems: Architecture, Data and Usability & Security
There has been increasing pressure on the health care sector to adopt information technologies to rationalize service delivery and increase service quality. Medical information sy...
Jens H. Weber-Jahnke, Morgan Price
MOMM
2006
ACM
122views Communications» more  MOMM 2006»
14 years 2 months ago
Multimedia Tools for Teaching Reconfigurable Systems
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
Valery Sklyarov, Iouliia Skliarova
IWPC
2005
IEEE
14 years 2 months ago
What Can Programmer Questions Tell Us About Frameworks?
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...
Daqing Hou, Kenny Wong, H. James Hoover
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn