9067 search results - page 380 / 1814 » Adaptive Model Checking |
172
click to vote
CCE
2007
15 years 6 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
199
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Understanding the dynamics of bodies of water and their impact on the global environment requires sensing information over the full volume of water. We develop a gradientbased dec...
353
click to vote
PAKDD
2011
ACM
15 years 13 days ago
2011
ACM
Discovering rare categories and classifying new instances of them is
an important data mining issue in many fields, but fully supervised
learning of a rare class classifier is pr...
194
click to vote
PAKDD
2011
ACM
14 years 9 months ago
2011
ACM
Discovering rare categories and classifying new instances of them is an important data mining issue in many fields, but fully supervised learning of a rare class classifier is pr...
164
click to vote
GG
2004
Springer
16 years 4 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...