4166 search results - page 136 / 834 » Automating the constraining process |
LPAR
2005
Springer
15 years 8 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...
108
click to vote
ICCBR
2007
Springer
15 years 9 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...
LICS
2006
IEEE
15 years 9 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...
105
click to vote
IPAW
2010
15 years 28 days 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...
157
click to vote
AAAI
2000
15 years 4 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 ...