1129 search results - page 88 / 226 » Modular Ranking Abstraction |
140
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
174
click to vote
MATA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
154
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
154
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
137
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....