886 search results - page 98 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
SDM
2004
SIAM
14 years 11 months ago
2004
SIAM
In this paper we propose a method for grouping and summarizing large sets of association rules according to the items contained in each rule. We use hierarchical clustering to par...
112
click to vote
CVPR
2003
IEEE
16 years 6 hour ago
2003
IEEE
We propose a new approach for face recognition under arbitrary illumination conditions, which requires only one training image per subject (if there is no pose variation) and no 3...
91
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: Novel strategies are required in order to handle the huge amount of data produced by microarray technologies. To infer gene regulatory networks, the first step is to f...
ICPPW
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...