630 search results - page 66 / 126 » Symbolic Domain Decomposition |
FASE
2010
Springer
15 years 3 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
JBI
2004
15 years 1 months ago
2004
Metabolism can be regarded as a network of biochemical reactions, connected via their substrates and products. A metabolic pathway is thus a coordinated series of reactions, and i...
102
click to vote
ICCAD
2010
IEEE
14 years 9 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
125
click to vote
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a statistical model for textures that uses a non-negative decomposition on a set of local atoms learned from an exemplar. This model is described by the varianc...
126
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...