1728 search results - page 275 / 346 » Formal Modeling of Process Migration |
98
Voted
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
100
Voted
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
The vision of semantic interoperability, the fluid sharing of digitalized knowledge, has led much research on ontology/schema mapping/aligning. Although this line of research is f...
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
114
click to vote
ICML
1996
IEEE
16 years 1 months ago
1996
IEEE
We introduce a method for learning Bayesian networks that handles the discretization of continuous variables as an integral part of the learning process. The main ingredient in th...
116
click to vote
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...