6800 search results - page 479 / 1360 » Testing with Functions as Specifications |
208
click to vote
CASE
2011
14 years 7 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
190
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Eukaryotic cells have developed mechanisms to respond to external environmental or physiological changes (stresses). In order to increase the activities of stress-prot...
310
click to vote
WILF
2009
Springer
16 years 6 months ago
2009
Springer
This paper presents a novel method aimed to free form deformation
function approximation for purpose of image registration. The
method is currently feature-based. The algorithm i...
170
click to vote
IDEAL
2004
Springer
16 years 1 months ago
2004
Springer
The main aim of this paper is to extend the single-agent policy gradient method for multiagent domains where all agents share the same utility function. We formulate these team pro...
231
click to vote
PADL
2001
Springer
16 years 4 days ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...