Sciweavers

2986 search results - page 243 / 598
» Generic market models
Sort
View
ENTCS
2006
185views more  ENTCS 2006»
15 years 7 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
IJCV
2007
121views more  IJCV 2007»
15 years 7 months ago
Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes
The machine interpretation of line drawings has applications both in vision and geometric modelling. This paper extends the classic technique of assigning semantic labels to lines ...
Martin C. Cooper
IFE
2002
69views more  IFE 2002»
15 years 7 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren
ATAL
2009
Springer
16 years 2 months ago
Emergent service provisioning and demand estimation through self-organizing agent communities
A major challenge within open markets is the ability to satisfy service demand with an adequate supply of service providers, especially when such demand may be volatile due to cha...
Mariusz Jacyno, Seth Bullock, Michael Luck, Terry ...
COMPLEX
2009
Springer
16 years 2 months ago
Return Intervals Approach to Financial Fluctuations
Financial fluctuations play a key role for financial markets studies. A new approach focusing on properties of return intervals can help to get better understanding of the fluct...
Fengzhong Wang, Kazuko Yamasaki, Shlomo Havlin, H....