790 search results - page 74 / 158 » Designated Confirmer Signatures |
147
Voted
GIS
2010
ACM
15 years 1 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...
139
Voted
KBSE
2003
IEEE
15 years 8 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...
138
click to vote
JCP
2008
15 years 3 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...
122
click to vote
AUTOMATICA
2005
15 years 3 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...
157
click to vote
BMCBI
2004
15 years 3 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...