2016 search results - page 395 / 404 » Tool Support for Ontology Engineering |
177
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
181
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
DOCENG
2009
ACM
15 years 4 months ago
2009
ACM
The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal coll...