22128 search results - page 291 / 4426 » Research in Structural Computing |
148
click to vote
JURIX
2007
15 years 5 months ago
2007
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...
138
click to vote
DMDW
2003
15 years 5 months ago
2003
: Two main problems arise in modelling data warehouse structures. The first consists in establishing an adequate representation of dimensions in order to facilitate and to control ...
131
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
169
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Conserved regions, or motifs, present among RNA secondary structures serve as a useful indicator for predicting the functionality of the RNA molecules. Automated detectio...
118
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...