4067 search results - page 411 / 814 » Programs for Applying Symmetries |
157
click to vote
GPCE
2005
Springer
16 years 9 days ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...
160
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
189
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
The Globus Toolkit makes it very easy and comfortable for grid users to develop and deploy grid service. As for the security mechanism, however, only static authentication and coar...
160
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
153
click to vote
LPNMR
2005
Springer
16 years 9 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...