Sciweavers

1598 search results - page 88 / 320
» Integrating Component Tests to System Tests
Sort
View
CORR
2002
Springer
128views Education» more  CORR 2002»
14 years 9 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
JMLR
2011
187views more  JMLR 2011»
14 years 4 months ago
Exploitation of Machine Learning Techniques in Modelling Phrase Movements for Machine Translation
We propose a distance phrase reordering model (DPR) for statistical machine translation (SMT), where the aim is to learn the grammatical rules and context dependent changes using ...
Yizhao Ni, Craig Saunders, Sándor Szedm&aac...
SAFECOMP
1998
Springer
15 years 2 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
USAB
2007
14 years 11 months ago
Competence Assessment for Spinal Anaesthesia
The authors describe a new approach towards assessing skills of medical trainees. Based on experiences from previous projects with (i) applying virtual environments for medical tra...
Dietrich Albert, Cord Hockemeyer, Zsuzsanna Kulcs&...
CAD
2005
Springer
14 years 9 months ago
A new recognition model for electronic architectural drawings
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...
Tong Lu, Chiew-Lan Tai, Feng Su, Shijie Cai