2661 search results - page 317 / 533 » Model Checking Performability Properties |
142
Voted
IMR
2004
Springer
15 years 6 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
108
Voted
ICCAD
2002
IEEE
15 years 5 months ago
2002
IEEE
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
105
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
130
click to vote
BIOID
2008
15 years 2 months ago
2008
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
AAAI
2010
15 years 2 months ago
2010
In the form of topic discussions, users interact with each other to share knowledge and exchange information in online forums. Modeling the evolution of topic discussion reveals h...