8874 search results - page 17 / 1775 » A New Implementation of Automath |
BMCBI
2011
13 years 6 months ago
2011
Background: The way mechanical stress is distributed inside and propagated by proteins and other biopolymers largely defines their function. Yet, determining the network of intera...
ICIP
2009
IEEE
13 years 8 months ago
2009
IEEE
Still-image processing algorithms are tailored to and depend crucially upon the properties of the class of images to which they are applied, for instance natural images in consumer...
ICDAR
2009
IEEE
13 years 8 months ago
2009
IEEE
Most studies about writer identification are based on English documents and to our knowledge no research has been reported on Farsi or Arabic documents. In this paper, we have pro...
EJC
2009
13 years 8 months ago
2009
Nowadays more and more Web sites generate Web pages containing client-side scripts such as JavaScript and Flash instead of ordinary static HTML pages. These scripts create dynamic ...
ICSE
2009
IEEE-ACM
13 years 8 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...