3185 search results - page 312 / 637 » Domain and language evaluation results |
181
click to vote
AGILE
2008
Springer
16 years 1 months ago
2008
Springer
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
172
Voted
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
173
Voted
SAMOS
2005
Springer
16 years 10 days ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
162
Voted
WAIM
2005
Springer
16 years 10 days ago
2005
Springer
Researchers from the same lab often spend a considerable amount of time searching for published articles relevant to their current project. Despite having similar interests, they c...
187
click to vote
RECOMB
2001
Springer
15 years 11 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...