MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Parametric temporal logic for "model measuring"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 615,588 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Parametric Temporal Logic for "Model Measuring"  
  • by Rajeev Alur Kousha, Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled — 1999
  • …In Proc. of ICALP'99, 1999. Parametric Temporal Logic for "Model Measuring" Rajeev Alur ?1…
  • Add To MetaCart
  • Measurement of  
  • by Production In Two, The L Collaboration
  • … types is measured as: 0:93 \Sigma 0:01(stat:) \Sigma 0:09(syst:) \Gamma 0:06(model): The value agrees…
  • Add To MetaCart
  • Measurements  
  • by Non-Commuting Observables Akio, Akio Fujiwara, Akio Fujiwara — 1994
  • … S = fae ` ; ae ` = ae 3 ` ? 0; Tr ae ` =1;`2 2 ae R n g (1) be the statistical parametric model…
  • Add To MetaCart
  • Measurements Of The  
  • by Lifetime And Search, A. Ribon
  • …MEASUREMENTS OF THE B s LIFETIME AND SEARCH FOR A LIFETIME DIFFERENCE \Delta\Gamma \Gamma A. RIBON…
  • Add To MetaCart
  • Measurement  
  • by unknown authors
  • …. Measurement results presented were used to improve the accuracy of estimation models, in which the step…
  • Add To MetaCart
  • Measurement of  
  • by Oe Jet Oe
  • …Measurement of R 10 (oe(W + 1 jet)/oe(W )) at CDF B. Flaugher, for the CDF Collaboration M.S. 318…
  • Add To MetaCart
  • Measurement of the  
  • by Decay Branching, A. Abele, J. Adomeit, C. Amsler, B. M. Barnett, C. J. Batty, M. Benayoun
  • …5 June 1997 Measurement of the ! ! jfl decay branching ratio Crystal Barrel Collaboration A…
  • Add To MetaCart
  • Measurement of  
  • by At Lep Using, Società Italiana Di Fisica
  • …. Present measurements of Br(b → ℓνX) at LEP [3] are in slight disagreement with model…
  • Add To MetaCart
  • Measurement of NO  
  • by And Potential Artifacts, Dennis R. Fitz
  • … the definition depends on whether it is used by a modeler or an analyst. The modeler would like a measure…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB