3820 search results - page 413 / 764 » Bounded Model Debugging |
140
click to vote
IJUFKS
2006
15 years 4 months ago
2006
One of the most common performance measures in selection and management of projects is the Net Present Value (NPV). In the paper, we study a case when initial data about the NPV p...
146
click to vote
MOR
2006
15 years 4 months ago
2006
It has been shown (Hart [2002]) that the backward induction (or subgame-perfect) equilibrium of a perfect information game is the unique stable outcome for dynamic models consisti...
105
Voted
JCO
2007
15 years 4 months ago
2007
This paper discusses the relation among four problems: graph testing, DNA complex screening, superimposed codes and secure key distribution. We prove a surprising equivalence relat...
116
click to vote
JGTOOLS
2007
15 years 4 months ago
2007
Abstract. In many real-time rendering applications, it is necessary to model a fog volume that is bounded by a single plane but is otherwise infinite in extent. This paper presents...
136
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
A d-regular graph has largest or first (adjacency matrix) eigenvalue 1 = d. Consider for an even d 4, a random d-regular graph model formed from d/2 uniform, independent permutat...