426 search results - page 70 / 86 » Towards Verifying Model Transformations |
120
Voted
EVENT
2001
15 years 4 months ago
2001
A first step towards an understanding of the semantic content in a video is the reliable detection and recognition of actions performed by objects. This is a dificult problem due ...
112
Voted
ECIS
2000
15 years 4 months ago
2000
Yarra Valley Water, a corporatised water utility achieved the significant efficiencies that are promised from the move towards privatisation. At the same time it substantially imp...
118
Voted
WSC
1996
15 years 3 months ago
1996
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...
118
Voted
COMAD
2009
15 years 3 months ago
2009
Data migration is one of the key operations in many enterprise data integration projects. While there are standard and well established tools for data migration, the enterprises r...
107
Voted
ACL
2010
15 years 19 days ago
2010
Learning a tree substitution grammar is very challenging due to derivational ambiguity. Our recent approach used a Bayesian non-parametric model to induce good derivations from tr...