2373 search results - page 20 / 475 » On the Theory of Structural Subtyping |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
68
Voted
ISMVL
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
EOR
2010
14 years 9 months ago
2010
Semidefinite Programming (SDP) may be seen as a generalization of Linear Programming (LP). In particular, one may extend interior point algorithms for LP to SDP, but it has proven...
FSKD
2005
Springer
15 years 3 months ago
2005
Springer
It is important nowadays to provide guidance for individuals or organizations to improve their knowledge according to their objectives, especially in the case of incomplete cogniti...
QI
2009
Springer
15 years 4 months ago
2009
Springer
Information Retrieval (IR) systems try to identify documents relevant to user queries, which are representations of user information needs. Interaction, context, and document struc...