5864 search results - page 162 / 1173 » Can We Work around Numerical Methods |
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
173
Voted
AGILEDC
2008
IEEE
15 years 11 months ago
2008
IEEE
A core principle of Agile development is to satisfy the customer by providing valuable software on an early and continuous basis. For a software application to be valuable it shou...
116
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
In floorplan design, it is common that a designer will want to control the positions of some modules in the final packing for various purposes like data path alignment, I/O connec...
158
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The aim of this work is to forecast future events in financial data sets, in particular, we focus our attention on situations where positive instances are rare, which fal...
145
click to vote
JMIV
2007
15 years 4 months ago
2007
We discuss the existence of viscosity solutions for a class of anisotropic level-set methods which can be seen as an extension of the mean-curvature motion with a nonlinear anisot...