2407 search results - page 469 / 482 » A Tool for Abstraction in Model Checking |
ERCIMDL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
ICIAR
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. In this paper our purpose is to present some solutions to multiple object tracking in an image sequence with a real time constraint and a possible mobile camera. We propo...
MFCS
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
DATE
2003
IEEE
14 years 21 days ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...
ICICS
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. For the application of large-scale mobile agents in a distributed environment, where a large number of computers are connected together to enable the large-scale sharing ...