2024 search results - page 57 / 405 » A Formal Model of Multi-agent Computations |
124
click to vote
ICCS
1999
Springer
15 years 3 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
CAD
2004
Springer
14 years 11 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
DAC
1997
ACM
15 years 3 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
TCS
2008
14 years 11 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
SKG
2006
IEEE
15 years 5 months ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...