3225 search results - page 162 / 645 » Compiling Experience into Knowledge |
173
click to vote
JSAT
2006
15 years 6 months ago
2006
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
164
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
We present the InterAspect instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plugin support in the latest release of GCC makes it an attract...
247
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
142
click to vote
PACS
2004
Springer
15 years 11 months ago
2004
Springer
There has been intensive research on data prefetching focusing on performance improvement, however, the energy aspect of prefetching is relatively unknown. Our experiments show th...
192
click to vote
ISPA
2005
Springer
15 years 12 months ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...