1860 search results - page 60 / 372 » tools 2009 |
LOPSTR
2009
Springer
14 years 4 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
We present a video browsing tool that uses a novel and powerful visualization technique of video motion. The tool provides an interactive navigation index that allows users to qui...
KCAP
2009
ACM
14 years 4 months ago
2009
ACM
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
JUCS
2010
13 years 4 months ago
2010
: Semantic wikis have been regarded as an important collaboration tool among a number of experts from multiple domains. This wiki platform can play a role of collaborative knowledg...