PARAM is a series of supercomputers designed and assembled by the Centre for Development of Advanced Computing (C-DAC) in Pune, India. The latest… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Sebastian Arming, Ezio Bartocci, Ana Sokolova
- QAPL@ETAPS
- 2017

We study parametric Markov decision processes (PMDPs) and their reachability probabilities ”independent” of the parameters… (More)

Is this relevant?

2014

2014

- Sonia Rani, Vudutala China Venkata Rao, Samrit Kumar Maity, Krishan Gopal Gupta
- 2014 Annual IEEE India Conference (INDICON)
- 2014

This paper discusses an efficient implementation of finite difference method (FDM) and finite element method (FEM) computations… (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

We present PARAM, a model checker for parametric discretetime Markov chains (PMCs). PARAMcan evaluate temporal properties of PMCs… (More)

Is this relevant?

2008

2008

- David Tilbrooh Russell
- 2008

The advent of open systems and standards, while beneficial, has not eliminated the diffi-culty of maintaining and transporting… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Christian Gourieroux, Joann Jasiaky
- 2000

Local Likelihood Density Estimation, and Value at Risk. In this paper we t locally a parametric model to observations lying in a… (More)

Is this relevant?

1999

1999

- Günter Pomaska
- 1999

Panoramic image technology provides new facilities for the presentation of cultural heritage recordings. Image based visual… (More)

Is this relevant?

1996

1996

- V. Sundararajan, Ashok S. Kolaskar
- HiPC
- 1996

A software is developed using genetic algorithms t o predict the structure of a polypeptide chain. The algorithm is based on the… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Zhengyou Zhang, Rachid Deriche, Olivier D. Faugeras, Quang-Tuan Luong
- Artif. Intell.
- 1995

This paper proposes a robust approach to image matching by exploiting the only available geometric constraint, namely, the… (More)

Is this relevant?

1990

1990

- Ken Gray
- Australasian J. Combinatorics
- 1990

A set of blocks which can be a subset of only one t-( v, k, At) design has been termed a defining set of that design. In an… (More)

Is this relevant?

Highly Cited

1988

Highly Cited

1988

- Paul Feautrier
- 1988

When analysing computer programs (especially numerical programs in which arrays are used extensively), one is often confronted… (More)

Is this relevant?