3013 search results - page 168 / 603 » Context-Oriented Domain Analysis |
152
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
154
click to vote
IMCSIT
2010
15 years 3 months ago
2010
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
158
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
159
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Analyzing fluid motion is essential in number of domains and can rarely be handled using generic computer vision techniques. In this particular application context, we address two ...
126
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...