4166 search results - page 136 / 834 » Automating the constraining process |
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
ICCBR
2007
Springer
15 years 4 months ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
66
Voted
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
IPAW
2010
14 years 8 months ago
2010
In the paper, we show that lineage data collected during the processing and analysis of datasets can be reused to perform selective reprocessing (at sub-image level) on datasets wh...
112
click to vote
AAAI
2000
14 years 11 months ago
2000
Researchers in the ontology-design field have developed the content for ontologies in many domain areas. Recently, ontologies have become increasingly common on the WorldWide Web ...