• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 10,311
Next 10 →

Formal Definition

by unknown authors
"... providing Energy and Ancillary Services. These net revenues, the EAS Offset, are assumed to go toward covering the fixed capital and O&M costs of the Reference Resource to allow it to profitably enter PJM’s Markets. ..."
Abstract - Add to MetaCart
providing Energy and Ancillary Services. These net revenues, the EAS Offset, are assumed to go toward covering the fixed capital and O&M costs of the Reference Resource to allow it to profitably enter PJM’s Markets.

Formal Definition

by K. Alber, P. Oliva, K. Alber, P. Oliva , 1968
"... This document defines a function which maps a concrete PL/I program into an ..."
Abstract - Add to MetaCart
This document defines a function which maps a concrete PL/I program into an

Formal Definition

by Tzu-kuo Huang, Jeff Schneider, Key Assumption Sequenced Observations
"... What if observations are NOT SEQUENCED? q Galaxy evolution (many snapshots, no ordering) q Slow-developing diseases (e.g., Alzheimer’s) q Destructive measurement for biological processes Example: Gene Expression Time Series (Tu et al., Science 2005) q Goal: study gene expression dynamics during the ..."
Abstract - Add to MetaCart
What if observations are NOT SEQUENCED? q Galaxy evolution (many snapshots, no ordering) q Slow-developing diseases (e.g., Alzheimer’s) q Destructive measurement for biological processes Example: Gene Expression Time Series (Tu et al., Science 2005) q Goal: study gene expression dynamics during the metabolic cycle q Difficulty: need to synchronize cells due to destructive measurement q Existing solution: choose a particular strain of Yeast showing unusually robust periodic behavior, i.e., cells are self-synchronizing q Rarely seen in other species (e.g. bacteria) ⇒ no reliable time series

A Formal Definition of Crosscuts

by Rémi Douence, Olivier Motelet, Mario Südholt , 2001
"... Crosscutting, i.e. relating different program points is one of the key notions of Aspect-Oriented Programming. In this report, we consider a general and operational model for crosscutting based on execution monitors. A domain-specific language for the definition of crosscuts constitutes the core of ..."
Abstract - Cited by 131 (8 self) - Add to MetaCart
Crosscutting, i.e. relating different program points is one of the key notions of Aspect-Oriented Programming. In this report, we consider a general and operational model for crosscutting based on execution monitors. A domain-specific language for the definition of crosscuts constitutes the core

The formal definition of the BASIC language

by J. A. N. Lee - Computer Journal , 1972
"... This paper presents a proposal for the formal definition of the Basic Language (Dartmouth College, 1970), based on the method of definition developed by Lucas et al. (1968) and as extended by Lee and Wu (1969). This version of the formal definition of the Basic Language does not include consideratio ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
This paper presents a proposal for the formal definition of the Basic Language (Dartmouth College, 1970), based on the method of definition developed by Lucas et al. (1968) and as extended by Lee and Wu (1969). This version of the formal definition of the Basic Language does not include

A Formal Definition of Culture

by R Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
"... Abstract. Globalization makes culture no more bound to a geographical area, race or religion. Multi-national companies, software developers, scientists need to take into account cultural differences when delivering products to people. The first step in dealing with culture consists in defining and r ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
and representing culture of the targeted community. AI literature addressed issues of sociality, collaboration, and coordination in agent societies, but did not target the problem of defining and representing culture of a community. In this paper, we propose a formal definition of culture of a set of agents

The formal definition of reference priors

by James O. Berger, José M. Bernardo, Dongchu Sun - ANN. STATIST , 2009
"... Reference analysis produces objective Bayesian inference, in the sense that inferential statements depend only on the assumed model and the available data, and the prior distribution used to make an inference is least informative in a certain information-theoretic sense. Reference priors have been r ..."
Abstract - Cited by 39 (2 self) - Add to MetaCart
rigorously defined in specific contexts and heuristically defined in general, but a rigorous general definition has been lacking. We produce a rigorous general definition here and then show how an explicit expression for the reference prior can be obtained under very weak regularity conditions. The explicit

Formal definition of Algol 60

by P. E. Lauer , 1968
"... 5-13 (64) 13: lsit ← list (1 ≤ i≤length ← ( ∀ i) (1 ≤ i ≤ l e n g t h ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
5-13 (64) 13: lsit ← list (1 ≤ i≤length ← ( ∀ i) (1 ≤ i ≤ l e n g t h

Formal Definition of AI

by Dimiter Dobrev , 2005
"... A definition of Artificial Intelligence was proposed in [1] but this definition was not absolutely formal at least because the word "Human " was used. In this paper we will formalize the definition from [1]. The biggest problem in this definition was that the level of intelligence of AI is ..."
Abstract - Add to MetaCart
A definition of Artificial Intelligence was proposed in [1] but this definition was not absolutely formal at least because the word "Human " was used. In this paper we will formalize the definition from [1]. The biggest problem in this definition was that the level of intelligence of AI

Formal Definition Syntax Semantics.-

by P. Lucas, P. Lauer, H. Stigleitner, P Lucas, P. Lauer, H. Stigleitner , 1968
"... This document is a tutorial �ntroduction to the method used in the formal defini tion of programming languages. The method is presented, as far as possible, in dependently of its application to any particular programming language, ..."
Abstract - Add to MetaCart
This document is a tutorial �ntroduction to the method used in the formal defini tion of programming languages. The method is presented, as far as possible, in dependently of its application to any particular programming language,
Next 10 →
Results 1 - 10 of 10,311
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University