Sciweavers

6253 search results - page 178 / 1251
» Use Case Modeling Guidelines
Sort
View
VISUALIZATION
1996
IEEE
15 years 7 months ago
Visualization of Complex Models Using Dynamic Texture-based Simplification
We are investigating methods for simplifying complex models for interactive visualizations using texture-based representations. This paper presents a simplification method which d...
Daniel G. Aliaga
CDC
2010
IEEE
133views Control Systems» more  CDC 2010»
14 years 10 months ago
Estimating state-space models in innovations form using the expectation maximisation algorithm
The expectation maximisation (EM) algorithm has proven to be effective for a range of identification problems. Unfortunately, the way in which the EM algorithm has previously been ...
Adrian Wills, Thomas B. Schön, Brett Ninness
IAW
2003
IEEE
15 years 8 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ICML
2006
IEEE
16 years 4 months ago
Graph model selection using maximum likelihood
In recent years, there has been a proliferation of theoretical graph models, e.g., preferential attachment and small-world models, motivated by real-world graphs such as the Inter...
Adam Kalai, Ivona Bezáková, Rahul Sa...
NHM
2010
66views more  NHM 2010»
14 years 10 months ago
A review of conservation laws on networks
This paper deals with various applications of conservation laws on networks. In particular we consider the car traffic, described by the LighthillWhitham-Richards model and by the ...
Mauro Garavello