4488 search results - page 293 / 898 » Properties of NP-Complete Sets |
199
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
There are many ways to define richness of a discrete time signal. In this paper we consider a particular definition and explore the conditions under which a linear time invarian...
184
Voted
ISIPTA
2005
IEEE
16 years 1 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...
209
click to vote
QEST
2005
IEEE
16 years 1 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
208
click to vote
BERTINORO
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
185
Voted
ER
2005
Springer
16 years 29 days ago
2005
Springer
Generalization of spatial databases consists of complicated operations including not only geometric transformations but also topological changes. The changes often result in an inc...