2291 search results - page 209 / 459 » Representational Reasoning and Verification |
193
Voted
ICDE
1999
IEEE
16 years 2 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
98
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
108
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
73
Voted
ACS
2005
15 years 22 days ago
2005
A `2-group' is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representa...
98
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Genetic representations that do not employ a one-to-one mapping of genotype to phenotype are known as indirect encodings, and can be much more efficient than direct encodings for ...