Sciweavers

2106 search results - page 14 / 422
» Specifying C concepts
Sort
View
EDOC
2005
IEEE
14 years 1 months ago
An Interactive Approach for Specifying OWL-S Groundings
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
Gerald C. Gannod, Raynette J. Brodie, John T. E. T...
ICWS
2007
IEEE
13 years 9 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
SIAMMAX
2010
105views more  SIAMMAX 2010»
13 years 2 months ago
Construction of Covariance Matrices with a Specified Discrepancy Function Minimizer, with Application to Factor Analysis
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
So Yeon Chun, A. Shapiro
DAC
2007
ACM
14 years 8 months ago
Parameter Finding Methods for Oscillators with a Specified Oscillation Frequency
This paper presents a generalized formulation of the periodic steady-state analysis for oscillators. The new formulation finds the value of a circuit parameter that results in a d...
Igor Vytyaz, David C. Lee, Suihua Lu, Amit Mehrotr...
AMEC
2004
Springer
14 years 27 days ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer