4413 search results - page 25 / 883 » New Directions for CACM |
SIAMSC
2010
13 years 7 months ago
2010
We introduce a new level set method for motion in normal direction. It is based on a formulation in the form of a second order forward-backward diffusion equation. The equation is...
TSMC
2010
13 years 3 months ago
2010
Abstract--Since Grid computing systems involve large-scale resource sharing, resource management is central to their operations. Whereas there are more Grid resource management sys...
DARE
2000
13 years 10 months ago
2000
In this position paper we bring a new approach
BMCBI
2006
13 years 8 months ago
2006
Background: While biomedical text mining is emerging as an important research area, practical results have proven difficult to achieve. We believe that an important first step tow...
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...