457 search results - page 26 / 92 » A Dialectic Approach to Problem-Solving |
143
click to vote
IJCNLP
2004
Springer
15 years 11 months ago
2004
Springer
One problem seriously affecting CLIR performance is the processing of queries with embedded foreign names. A proper noun dictionary is never complete rendering name translation fr...
221
click to vote
JBCS
2010
15 years 20 days ago
2010
Schema matching is a fundamental issue to many database applications, such as query mediation and data warehousing. It becomes a challenge when different vocabularies are used to r...
135
click to vote
HPCS
2007
IEEE
16 years 6 days ago
2007
IEEE
Earth Science Markup Language (ESML) is efficient and effective in representing scientific data in an XML-based formalism. However, features of the data being represented are no...
142
click to vote
KI
2007
Springer
16 years 13 hour ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
192
click to vote
TABLEAUX
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...