6846 search results - page 1003 / 1370 » Developing an Active Observer |
140
click to vote
ENGL
2007
15 years 6 months ago
2007
—A Lagrangian-Eulerian numerical scheme for the investigation of bubble motion in turbulent flow is developed. The flow is analyzed in the Eulerian reference frame while the bubb...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
166
click to vote
LMCS
2006
15 years 6 months ago
2006
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisi...
158
click to vote
NRHM
2008
15 years 6 months ago
2008
Overlapping markup refers to the issue of how to represent data structures more expressive than trees--for example direct acyclic graphs--using markup (meta-)languages which have ...
162
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
In a number of engineering problems, e.g. in geotechnics, petroleum engineering, etc. intervals of measured series data (signals) are to be attributed a class maintaining the cons...