11455 search results - page 351 / 2291 » The Rayset and Its Applications |
182
click to vote
TEC
2008
15 years 6 months ago
2008
Many areas in power systems require solving one or more nonlinear optimization problems. While analytical methods might suffer from slow convergence and the curse of dimensionality...
149
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
211
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
179
click to vote
AGILEDC
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper reviews the concepts of Earned Value Management established in traditional project management, and determines whether and how they can be applied to software developmen...
167
Voted
DEXAW
2003
IEEE
16 years 2 days ago
2003
IEEE
One of the most promising future applications in the domain of mCommerce is the mobile payment. Different approaches come to the market and try to address existing needs, but up t...