Sciweavers

5423 search results - page 205 / 1085
» Denial-of-service in automation systems
Sort
View
CEC
2005
IEEE
16 years 7 days ago
Automated tile design for self-assembly conformations
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...
Germán Terrazas, Natalio Krasnogor, Graham ...
BIRTHDAY
2005
Springer
16 years 4 days ago
Toward Automated Large-Scale Information Integration and Discovery
The high cost of data consolidation is the key market inhibitor to the adoption of traditional information integration and data warehousing solutions. In this paper, we outline a n...
Paul Brown, Peter J. Haas, Jussi Myllymaki, Hamid ...
SEMWEB
2005
Springer
16 years 2 days ago
A Strategy for Automated Meaning Negotiation in Distributed Information Retrieval
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Ma...
AIPS
1996
15 years 8 months ago
Static and Completion Analysis for Planning Knowledge Base Development and Verification
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...
Steve A. Chien
LICS
1999
IEEE
15 years 11 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke