1929 search results - page 179 / 386 » A Problem Space Approach to Expert System Specification |
161
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
149
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
In the current approaches to workflow scheduling, there is no cooperation between the distributed workflow brokers and as a result, the problem of conflicting schedules occur. To o...
218
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Record matching is the task of identifying records that match the same real world entity. This is a problem of great significance for a variety of business intelligence applicatio...
123
click to vote
SEFM
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
129
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...