1087 search results - page 64 / 218 » Achieving Distributed Control through Model Checking |
126
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
146
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
—A new lightweight planar parallel platform aims to greatly improve operational speed of electronic manufacturing process and to realize a “smart parallel platform” through t...
156
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
156
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
158
Voted
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...