4451 search results - page 526 / 891 » Continuous model synthesis |
184
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
204
click to vote
CCCG
2001
15 years 8 months ago
2001
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...
195
click to vote
WSCG
2003
15 years 8 months ago
2003
Real-time rendering of vegetation is one of the most important challenges in outdoor scenes. This is due to the vast amount of polygons that are used to model vegetable species. M...
202
click to vote
ENTCS
2006
15 years 6 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
163
click to vote
CCE
2007
15 years 6 months ago
2007
In order to achieve global stability using well-established linear control theory and techniques, a multiple model approach has attracted increased attention in recent years. In o...