6608 search results - page 1198 / 1322 » On the Completeness of Model Checking |
144
click to vote
JUCS
2008
15 years 4 months ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
150
click to vote
EOR
2007
15 years 4 months ago
2007
A well known industry application that allows controllable processing times is the manufacturing operations on CNC machines. For each turning operation as an example, there is a n...
163
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
TCP-based data flows generate packets and ACKs in two directions, be it in the wireline or wireless networks. In the latter case, packets are typically found in the downlink where...
153
click to vote
PRL
2008
15 years 4 months ago
2008
In this paper, the automatic medical annotation task of the 2007 CLEF cross-language image retrieval campaign (ImageCLEF) is described. The paper focusses on the images used, the ...