8828 search results - page 1186 / 1766 » Formal methods in practice |
215
Voted
APVIS
2004
15 years 8 months ago
2004
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
192
click to vote
BILDMED
2004
15 years 8 months ago
2004
In the practice of maxillofacial surgery, one major challenge is the correct reconstruction of malformed or damaged bone structures of the face. Among those, a rather frequent task...
192
Voted
AVI
2006
15 years 8 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
152
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The Multiple Bernoulli (MB) Language Model has been generally considered too computationally expensive for practical purposes and superseded by the more efficient multino...
177
click to vote
ACE
2003
15 years 8 months ago
2003
We describe our experiences in setting up a new Computer Science department in an established University within the UK. We drew upon our experiences in teaching Computing in Austr...