4074 search results - page 281 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
199
click to vote
XPU
2005
Springer
16 years 19 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...
195
click to vote
CVPR
1998
IEEE
16 years 9 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 ...
200
click to vote
SAT
2005
Springer
16 years 19 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...
216
click to vote
IWQOS
2004
Springer
16 years 16 days 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...
198
Voted
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...