3804 search results - page 23 / 761 » From Here to There |
ICTAC
2009
Springer
13 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
BMCBI
2004
13 years 9 months ago
2004
Background: In addition to known protein-coding genes, large amounts of apparently non-coding sequence are conserved between the human and mouse genomes. It seems reasonable to as...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— Traditional approaches to programming robots are generally inaccessible to non-robotics-experts. A promising exception is the Learning from Demonstration paradigm. Here a polic...
MKM
2009
Springer
14 years 4 months ago
2009
Springer
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...
GREC
2007
Springer
14 years 3 months ago
2007
Springer
Automatic separation of text and symbols from graphics in document image is one of the fundamental aims in graphics recognition. In maps, separation of text and symbols from graphi...