773 search results - page 144 / 155 » Evaluation of the SRA Tool Using Data Mining Techniques |
105
click to vote
AAAI
2006
15 years 1 months ago
2006
We describe an application of AI search and information visualization techniques to the problem of school redistricting, in which students are assigned to home schools within a co...
IDA
2002
Springer
14 years 11 months ago
2002
Springer
The ability to identify the mineral composition of rocks and soils is an important tool for the exploration of geological sites. Even though expert knowledge is commonly used for t...
112
click to vote
SC
2000
ACM
15 years 4 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
104
Voted
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
CCS
2010
ACM
14 years 12 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...