933 search results - page 91 / 187 » Extending Forward Checking |
94
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
107
Voted
IJBC
2006
15 years 2 months ago
2006
This paper deals with the problem of finding upper bounds on the number of periodic solutions of a class of one-dimensional non-autonomous differential equations: those with the r...
120
click to vote
PAMI
2008
15 years 2 months ago
2008
Defocus can be modeled as a diffusion process and represented mathematically using the heat equation, where image blur corresponds to the diffusion of heat. This analogy can be ext...
153
click to vote
TIP
2008
15 years 2 months ago
2008
Abstract--Sparse representations of signals have drawn considerable interest in recent years. The assumption that natural signals, such as images, admit a sparse decomposition over...
107
Voted
JWSR
2007
15 years 2 months ago
2007
Existing Web service notification and eventing standards are useful in many applications, but they have serious limitations that make them ill-suited for large-scale deployments, ...