Sciweavers

3424 search results - page 244 / 685
» Automated Testing of Classes
Sort
View
COMPSAC
2003
IEEE
16 years 3 days ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
ASP
2003
Springer
16 years 1 days ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir
MFCS
2007
Springer
16 years 29 days ago
Hardness Results for Tournament Isomorphism and Automorphism
A tournament is a graph in which each pair of distinct vertices is connected by exactly one directed edge. Tournaments are an important graph class, for which isomorphism testing ...
Fabian Wagner
ISNN
2005
Springer
16 years 10 days ago
Application of Multi-weighted Neuron for Iris Recognition
Abstract. In this paper, from the cognition science point of view, we constructed a neuron of multi-weighted neural network, and proposed a new method for iris recognition based on...
Wenming Cao, Jianhui Hu, Gang Xiao, Shoujue Wang
GECCO
2004
Springer
104views Optimization» more  GECCO 2004»
16 years 6 days ago
A Genetic Approach for Gene Selection on Microarray Expression Data
Abstract. Microarrays allow simultaneous measurement of the expression levels of thousands of genes in cells under different physiological or disease states. Because the number of...
Yong-Hyuk Kim, Su-Yeon Lee, Byung Ro Moon