Sciweavers

3379 search results - page 530 / 676
» Combinators for Interaction Nets
Sort
View
AIED
2005
Springer
16 years 2 days ago
"Be bold and take a challenge": Could motivational strategies improve help-seeking?
We are exploring whether the use of facilities aimed at improving the learner’s motivation has an effect on learning food-chains and food-webs, but also on help-seeking behaviour...
Genaro Rebolledo-Mendez, Benedict du Boulay, Rosem...
ATAL
2005
Springer
16 years 2 days ago
Development of Self-organising Emergent Applications with Simulation-Based Numerical Analysis
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
Tom De Wolf, Tom Holvoet, Giovanni Samaey
BIRTHDAY
2005
Springer
16 years 2 days ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
CIKM
2005
Springer
16 years 1 days ago
An evaluation of evolved term-weighting schemes in information retrieval
This paper presents an evaluation of evolved term-weighting schemes on short, medium and long TREC queries. A previously evolved global (collection-wide) term-weighting scheme is ...
Ronan Cummins, Colm O'Riordan
CP
2005
Springer
16 years 1 days ago
Solving Simple Planning Problems with More Inference and No Search
Many problems used in AI planning including Blocks, Logistics, Gripper, Satellite, and others lack the interactions that characterize puzzles and can be solved nonoptimally in low...
Vincent Vidal, Hector Geffner