4488 search results - page 293 / 898 » Properties of NP-Complete Sets |
183
Voted
ISCAS
2005
IEEE
16 years 12 days 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...
174
click to vote
ISIPTA
2005
IEEE
16 years 12 days 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...
198
click to vote
QEST
2005
IEEE
16 years 12 days 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...
187
click to vote
BERTINORO
2005
Springer
16 years 11 days 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...
172
click to vote
ER
2005
Springer
16 years 10 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...