2041 search results - page 163 / 409 » Modelling Generic Judgements |
146
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Process Mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms...
156
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Utility computing offers researchers and businesses the potential of significant cost-savings in that it is possible for them to match the cost of their computing and s...
133
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
146
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
137
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...