1008 search results - page 75 / 202 » A graphic functional-dataflow language |
120
Voted
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
129
Voted
PADL
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
114
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
94
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
143
Voted
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...