Sciweavers

29147 search results - page 178 / 5830
» System Modeling Resurrected
Sort
View
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
ASPDAC
2010
ACM
151views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Source-level timing annotation for fast and accurate TLM computation model generation
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
Kai-Li Lin, Chen Kang Lo, Ren-Song Tsay
WWW
2011
ACM
15 years 1 months ago
Investigating topic models for social media user recommendation
This paper presents a user recommendation system that recommends to a user new friends having similar interests. We automatically discover users’ interests using Latent Dirichle...
Marco Pennacchiotti, Siva Gurumurthy
NN
2011
Springer
217views Neural Networks» more  NN 2011»
14 years 9 months ago
A neurodynamical model for working memory
Neurodynamical models of working memory (WM) should provide mechanisms for storing, maintaining, retrieving, and deleting information. Many models address only a subset of these a...
Razvan Pascanu, Herbert Jaeger
DAGM
2011
Springer
14 years 6 months ago
Visual Motion Capturing for Kinematic Model Estimation of a Humanoid Robot
Controlling a tendon-driven robot like the humanoid Ecce is a difficult task, even more so when its kinematics and its pose are not known precisely. In this paper, we present a vis...
Andre Gaschler