Sciweavers

6155 search results - page 90 / 1231
» A language for multiple models of computation
Sort
View
SEMCO
2009
IEEE
15 years 11 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
CSDA
2007
88views more  CSDA 2007»
15 years 4 months ago
A study of partial F tests for multiple linear regression models
Partial F tests play a central role in model selections in multiple linear regression models. This paper studies the partial F tests from the view point of simultaneous confidence...
Mortaza Jamshidian, Robert I. Jennrich, Wei Liu
ICASSP
2010
IEEE
15 years 4 months ago
Power law discounting for n-gram language models
We present an approximation to the Bayesian hierarchical PitmanYor process language model which maintains the power law distribution over word tokens, while not requiring a comput...
Songfang Huang, Steve Renals
AC
1998
Springer
15 years 4 months ago
Coordination Models and Languages
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
George A. Papadopoulos, Farhad Arbab
ENTCS
2008
110views more  ENTCS 2008»
15 years 4 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
Peter Selinger, Benoît Valiron