Sciweavers

3579 search results - page 289 / 716
» Transformations of software models into performance models
Sort
View
GRAPHICSINTERFACE
2003
15 years 7 months ago
Toward Modeling of a Suturing Task
In this paper we present our initial work on simulating suture and suturing using mass-spring models. Various models for simulating suture were studied, and a simple linear mass-s...
Matt LeDuc, Shahram Payandeh, John Dill
TASE
2008
IEEE
15 years 6 months ago
Stochastic Modeling of an Automated Guided Vehicle System With One Vehicle and a Closed-Loop Path
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
Aykut F. Kahraman, Abhijit Gosavi, Karla J. Oty
SIGSOFT
2004
ACM
15 years 11 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
Jürgen Dingel, Hongzhi Liang
ICIP
2006
IEEE
16 years 8 months ago
Outlier Robust and Edge-Preserving Simultaneous Super-Resolution
In this work, we propose a new robust and edge-preserving superresolution algorithm to simultaneously estimate all frames of a sequence. The new algorithm is based on the regulari...
Joceli Mayer, Marcelo Victor Wüst Zibetti
ECCV
2010
Springer
15 years 11 months ago
Convolutional learning of spatio-temporal features
Abstract. We address the problem of learning good features for understanding video data. We introduce a model that learns latent representations of image sequences from pairs of su...