9405 search results - page 451 / 1881 » Computing a Model of Set Theory |
168
click to vote
RE
2005
Springer
16 years 1 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
206
click to vote
LPNMR
2004
Springer
16 years 29 days ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
239
click to vote
EWCBR
1993
Springer
15 years 11 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
215
click to vote
BIBE
2005
IEEE
16 years 1 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
213
click to vote
PODC
2005
ACM
16 years 1 months ago
2005
ACM
We investigate the behaviour of load-adaptive rerouting policies in the Wardrop model where decisions must be made on the basis of stale information. In this model, an infinite n...