345 search results - page 22 / 69 » Quantitative analysis of static models of processes |
120
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...
121
click to vote
BIS
2009
15 years 26 days ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
103
click to vote
FUIN
2007
14 years 11 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
APIN
2000
14 years 11 months ago
2000
Abstract. We present the application of Cascade Correlation for structures to QSPR (quantitative structureproperty relationships) and QSAR (quantitative structure-activity relation...