3146 search results - page 136 / 630 » Efficient Consequence Finding |
121
click to vote
CHINAF
2008
15 years 5 months ago
2008
We introduce a set of criterions for classifying signature-only signature models. By the criterions, we classify signature models into 5 basic types and 69 general classes. Theoret...
131
click to vote
CLEIEJ
2008
15 years 5 months ago
2008
Low participation of women in Computer Science (CS) has been documented in some countries. Since this phenomenon occurs in the Computer Science and Informatics Department at the U...
162
Voted
CONSTRAINTS
2008
15 years 5 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
126
click to vote
COR
2008
15 years 5 months ago
2008
Given a fixed set of identical or different-sized circular items, the problem we deal with consists on finding the smallest object within which the items can be packed. Circular, ...
125
Voted
ECEASST
2008
15 years 5 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...