7167 search results - page 125 / 1434 » A Technique for Invariant Generation |
180
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
170
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Two approaches have been used to perform approximate inference in Bayesian networks for which exact inference is infeasible: employing an approximation algorithm, or appr...
169
click to vote
BIS
2007
15 years 7 months ago
2007
Choreography description languages have been put forward for capturing sets of interactions and their control and data dependencies, seen from a global perspective. Choreographies ...
162
click to vote
IADIS
2008
15 years 7 months ago
2008
Using open e-learning platforms as a tool to support the learning process has become an international tendency. Specially, in order to motivate the achievement of desired competen...
180
click to vote
KBS
2002
15 years 6 months ago
2002
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...