3799 search results - page 315 / 760 » An Engineering Approach to Formal Methods |
215
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
177
click to vote
FLAIRS
2008
15 years 9 months ago
2008
When a user is served with a ranked list of relevant documents by the standard document search engines, his search task is usually not over. He has to go through the entire docume...
182
click to vote
ISCI
2007
15 years 6 months ago
2007
The evaluation of software processes is nowadays a very important issue due to the growing interest of software companies in the improvement of the productivity and quality of del...
192
click to vote
JSAC
2011
15 years 1 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
294
Voted
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...