Sciweavers

2638 search results - page 256 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
STTT
2008
90views more  STTT 2008»
15 years 6 months ago
A uniform framework for weighted decision diagrams and its implementation
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
Jörn Ossowski, Christel Baier
HICSS
2003
IEEE
154views Biometrics» more  HICSS 2003»
15 years 12 months ago
A Framework for Argumentation of Decision Task Generation and Identification
AbstractAbstractAbstract Decision task and its features are defined in order to distinguish motions, decision purposes, decision problems, alternatives, etc. Indicators of decision...
Jingle Sun, Pengzhu Zhang, Shaochuan Cheng
AAAI
2000
15 years 8 months ago
Untangle: A New Ontology for Card Catalog Systems
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...
Christopher A. Welty, Jessica Jenkins
GPCE
2009
Springer
15 years 11 months ago
A language and framework for invariant-driven transformations
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stol...
AEI
2005
102views more  AEI 2005»
15 years 6 months ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens