348 search results - page 18 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
RT
1997
Springer
13 years 11 months ago
1997
Springer
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
TOG
2012
11 years 10 months ago
2012
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
CIKM
2006
Springer
13 years 11 months ago
2006
Springer
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
AMC
2006
13 years 7 months ago
2006
In this paper, the influence of slow and creeping flow of mud/slurry is modelled as a visco-plastic fluid around cylindrical row of piles. The study is carried out theoretically u...