2026 search results - page 192 / 406 » Tools for Test Case Generation |
120
click to vote
ICAIL
1995
ACM
15 years 8 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
155
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
138
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents the development of a biomechatronic knee prosthesis for transfemoral amputees. This kind of prostheses are considered ‘intelligent’ because they are abl...
164
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...
154
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...