2851 search results - page 132 / 571 » A Knowledge Based Approach on Educational Metadata Use |
148
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....
114
click to vote
AIPS
2003
15 years 5 months ago
2003
In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner ...
123
click to vote
AAAI
2004
15 years 5 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
155
click to vote
AIRS
2008
Springer
15 years 10 months ago
2008
Springer
This paper presents a Multiple Combined Ranker (MCR) approach for answering definitional questions. Generally, our MCR approach first extracts question target-related knowledge as ...
116
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— Finding low-weight multiples of a binary polynomial is a difficult problem arising in the context of stream ciphers cryptanalysis. The best algorithms to solve this problem ar...