2291 search results - page 386 / 459 » Representational Reasoning and Verification |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
Group decision support systems (GDSS) hold significant potential for improving decision making, but they have not been broadly adopted. One reason for this is that these platforms...
KCAP
2009
ACM
14 years 2 months ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
DDECS
2008
IEEE
14 years 2 months ago
2008
IEEE
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...