4488 search results - page 870 / 898 » Focusing Search by Using Problem Solving Experience |
145
click to vote
ICTAC
2009
Springer
15 years 7 days ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
128
Voted
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
115
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Partitioning a memory into multiple blocks that can be independently accessed is a widely used technique to reduce its dynamic power. For embedded systems, its benefits can be ev...
149
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Tagged data is rapidly becoming more available on the World Wide Web. Web sites which populate tagging services offer a good way for Internet users to share their knowledge. An in...
142
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The statistical modeling of biomedical corpora could yield integrated, coarse-to-fine views of biological phenomena that complement discoveries made from analysis of m...