4716 search results - page 852 / 944 » Iterative-free program analysis |
160
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
140
Voted
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
129
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Programmers commonly reuse existing frameworks or libraries to reduce software development efforts. One common problem in reusing the existing frameworks or libraries is that the...
124
click to vote
FAW
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
168
click to vote
IMSCCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Background: As more and more genomes are sequenced, comparative genomics approaches provide a methodology for identifying conserved regulatory elements that may be involved in gen...