1824 search results - page 111 / 365 » Practices and Techniques for Engineering Process Capability ... |
122
click to vote
MVA
1994
15 years 5 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
157
click to vote
SMA
2003
ACM
15 years 9 months ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...
146
Voted
IICAI
2007
15 years 6 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
134
click to vote
AC
2005
Springer
15 years 4 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
139
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...