629 search results - page 50 / 126 » Parallelization Method for a Continuous Property |
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
IJCAI
2007
13 years 9 months ago
2007
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
EOR
2008
13 years 7 months ago
2008
This paper presents a method for assessing small hydropower projects that are subject to uncertain electricity prices. We present a real options-based method with continuous scali...
TVCG
2012
11 years 10 months ago
2012
—This paper develops a novel surface fitting scheme for automatically reconstructing a genus-0 object into a continuous parametric spline surface. A key contribution for making ...
ECCV
2010
Springer
14 years 24 days ago
2010
Springer
Maintaining the stability of tracks on multiple targets in video over extended time periods remains a challenging problem. A few methods which have recently shown encouraging resul...