790 search results - page 74 / 158 » Designated Confirmer Signatures |
GIS
2010
ACM
13 years 8 months ago
2010
ACM
With resource-efficient summarization and accurate reconstruction of the historic traffic sensor data, one can effectively manage and optimize transportation systems (e.g., road n...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
JCP
2008
13 years 10 months ago
2008
This paper addresses the issue of trajectory tracking control based on a neural network controller for industrial manipulators. A new control scheme is proposed based on neural net...
AUTOMATICA
2005
13 years 10 months ago
2005
This paper is on the design of robust output feedback integral control for minimum-phase nonlinear systems with a well-defined relative degree. Previous work has shown how to desi...
BMCBI
2004
13 years 10 months ago
2004
Background: cDNA microarrays are a powerful means to screen for biologically relevant gene expression changes, but are often limited by their ability to detect small changes accur...