1914 search results - page 259 / 383 » Semantic domains for Handel-C |
89
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...
81
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
This paper discusses how ontology helps case-based reasoning to provide better FAQ services. The proposed CBR technique works as a FAQ proxy service between the users and the back...
EDBTW
2004
Springer
15 years 6 months ago
2004
Springer
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
97
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...