1205 search results - page 155 / 241 » Program Extraction from Large Proof Developments |
133
click to vote
WCRE
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
130
click to vote
SPE
2008
15 years 1 months ago
2008
: Integration of multiple data sources is becoming increasingly important for enterprises that cooperate closely with their partners for e-commerce. OLAP enables analysts and decis...
136
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Subordinate-level categorization typically rests on establishing salient distinctions between part-level characteristics of objects, in contrast to basic-level categorization, whe...
133
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
As user demands become increasingly sophisticated, search engines today are competing in more than just returning document results from the Web. One area of competition is providi...
124
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...