Sciweavers

6253 search results - page 178 / 1251
» Use Case Modeling Guidelines
Sort
View
VISUALIZATION
1996
IEEE
15 years 10 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»
15 years 1 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 11 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 7 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»
15 years 1 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