22864 search results - page 149 / 4573 » An Integrated and |
147
click to vote
ICSEA
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
208
click to vote
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
137
click to vote
AAAI
2011
14 years 1 months ago
2011
Question and answer pairs in Community Question Answering (CQA) services are organized into hierarchical structures or taxonomies to facilitate users to find the answers for thei...
123
Voted
ACL
2012
13 years 4 months ago
2012
The integration of multiword expressions in a parsing procedure has been shown to improve accuracy in an artificial context where such expressions have been perfectly pre-identi...
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...