4074 search results - page 281 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
177
click to vote
XPU
2005
Springer
16 years 3 days ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
179
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
Stereo sequences promise to be a powerful method for segmenting images for applications such as tracking human figures. We present a method of statistical background modeling for ...
177
click to vote
SAT
2005
Springer
16 years 4 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
195
click to vote
IWQOS
2004
Springer
16 years 11 hour ago
2004
Springer
— Quality of Service (QoS) is an area with high academic curiosity. Our long-term goal is to develop a unified mathematical model. This paper is a first step towards this ambit...
174
click to vote
WSC
2000
15 years 8 months ago
2000
We develop a financial model for a manufacturing process where quality can be affected by an assignable cause. We evaluate the options associated with applying a statistical proce...