345 search results - page 2 / 69 » GraphML Progress Report |
CSREASAM
2003
13 years 6 months ago
2003
This paper reports our experiences with identifying cyber-based threats to the survivability of power substation control networks. Observations from the initial application of vul...
ISSAC
1994
Springer
13 years 9 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
AAAI
2007
13 years 7 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
COMMA
2008
13 years 6 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
FLAIRS
1998
13 years 6 months ago
1998
This paper discusses some preliminary results of the author's on-going research into the representation of product function information for integrated knowledge-based environ...