9931 search results - page 96 / 1987 » Generative Modeling by PRISM |
PAKDD
2011
ACM
13 years 15 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...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
FIDJI
2003
Springer
14 years 2 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
SDL
2003
13 years 11 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...