19979 search results - page 3692 / 3996 » Decision support systems |
204
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
193
click to vote
ML
2010
ACM
15 years 1 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
183
click to vote
PC
2010
15 years 1 months ago
2010
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...
258
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
183
click to vote
SIAMADS
2010
15 years 1 months ago
2010
Precise spatiotemporal sequences of action potentials are observed in many brain areas and are thought to be involved in the neural processing of sensory stimuli. Here, we examine ...