Sciweavers

1548 search results - page 229 / 310
» Computational Approaches to Sentence Completion
Sort
View
SAC
2008
ACM
13 years 8 months ago
Supporting self-organization for hybrid grid resource scheduling
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
Deger Cenk Erdil, Michael J. Lewis
TSC
2008
140views more  TSC 2008»
13 years 8 months ago
Dynamic Web Service Selection for Reliable Web Service Composition
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Chen...
PAMI
2008
174views more  PAMI 2008»
13 years 7 months ago
Geometric Observers for Dynamically Evolving Curves
Abstract-- This paper proposes a deterministic observer design for visual tracking based on non-parametric implicit (level-set) curve descriptions. The observer is continuous-discr...
Marc Niethammer, Patricio A. Vela, Allen Tannenbau...
MP
2010
135views more  MP 2010»
13 years 7 months ago
An inexact Newton method for nonconvex equality constrained optimization
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
Richard H. Byrd, Frank E. Curtis, Jorge Nocedal
TC
2010
13 years 7 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi