2825 search results - page 204 / 565 » Support for Object-Oriented Testing |
148
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
125
click to vote
RSCTC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Clinical Decision Support Systems embed data-driven decision models designed to represent clinical acumen of an experienced physician. We argue that eliminating physician...
120
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
We present the design and results of the Spring 2007 (RT-07) Rich Transcription Meeting Recognition Evaluation; the fifth in a series of community-wide evaluations of language tech...
153
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
104
click to vote
DEXA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...