1164 search results - page 91 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
80
Voted
SE
2007
15 years 2 months ago
2007
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...
105
Voted
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
102
Voted
RC
2002
15 years 9 days ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
154
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
The problem of tracking a varying number of non-rigid objects has two major difficulties. First, the observation models and target distributions can be highly non-linear and non-Ga...
104
click to vote
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...