350 search results - page 55 / 70 » Word Equations with Two Variables |
ENTCS
2006
14 years 10 months ago
2006
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
FS
2006
14 years 10 months ago
2006
Abstract. Currently, there are two market models for valuation and risk management of interest rate derivatives, the LIBOR and swap market models. We introduce arbitrage-free const...
SIAMSC
2008
14 years 9 months ago
2008
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
SIAMADS
2010
14 years 4 months ago
2010
We present a weakly nonlinear analysis of our recently developed model for the formation of crime patterns. Using a perturbative approach, we find amplitude equations that govern t...
102
click to vote
CIE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...