3820 search results - page 433 / 764 » Bounded Model Debugging |
111
Voted
WSC
2001
15 years 5 months ago
2001
This paper presents a new approach to pricing Americanstyle derivatives. By approximating the value function with a piecewise linear interpolation function, the option holder'...
100
click to vote
IWFM
1998
15 years 5 months ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
112
click to vote
WSC
1998
15 years 5 months ago
1998
As CDMA systems reach capacity, infrastructure providers are extending them by offering multicarrier capability. The capacity of an n-carrier CDMA system should be at least n time...
120
click to vote
ACL
1990
15 years 5 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
130
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...