29147 search results - page 39 / 5830 » System Modeling Resurrected |
CORR
2000
Springer
15 years 1 months ago
2000
Springer
Appeared in: Dekker (Ed.) Proceedings of the 12th Amsterdam Colloquium (AC'99). Institute for Logic, Language and Computation, 1999, pages 43
108
click to vote
INFORMATICALT
2002
15 years 1 months ago
2002
This paper presents model-based forecasting of the Lithuanian education system in the period of 2001
115
Voted
MVA
2007
15 years 1 months ago
2007
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
129
click to vote
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
132
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...