1128 search results - page 100 / 226 » Little Engines of Proof |
VL
1995
IEEE
15 years 1 months ago
1995
IEEE
Graphic designers and other visual problem solving experts now routinely use computer-based imageediting tools in their work. Recently, attempts have been made to apply learning a...
LREC
2008
14 years 11 months ago
2008
We describe recent work on MedSLT, a medium-vocabulary interlingua-based medical speech translation system, focussing on issues that arise when handling languages of which the gra...
ESE
2000
14 years 9 months ago
2000
Use cases have become an important tool in software engineering. There has been much focus on the diagram notation but relatively little on use-case descriptions. As part of a welc...
126
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...