585 search results - page 67 / 117 » Strategy Logic |
127
click to vote
RTA
1995
Springer
15 years 7 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
158
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
148
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
142
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
121
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Negotiating with suppliers and with customers is a key part of supply chain management. However, with recent technological advances, the mechanisms available to carry out such act...