4163 search results - page 545 / 833 » A comprehensive combination framework |
202
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
125
click to vote
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents an overview of the activities carried out within the ESPRIT project OCEANS whose objective is to investigate and develop advanced compiler infrastructure for em...
143
Voted
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...
178
click to vote
ICIAP
1999
ACM
15 years 11 months ago
1999
ACM
In the field of pattern recognition, the concept of Multiple Classifier Systems (MCSs) was proposed as a method for the development of high performance classification systems. At ...
170
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...