3799 search results - page 707 / 760 » An Engineering Approach to Formal Methods |
162
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
127
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
136
click to vote
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of retrieving multiple documents relevant to the single subtopics of a given web query, termed “full-subtopic retrieval”. To solve this problem we pres...
131
click to vote
AI
2007
Springer
15 years 10 months ago
2007
Springer
Many researchers have used text classification method in solving the ontology mapping problem. Their mapping results heavily depend on the availability of quality exemplars used as...
150
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...