Sciweavers

14699 search results - page 204 / 2940
» Complexity and Cognitive Computing
Sort
View
MCU
2007
95views Hardware» more  MCU 2007»
15 years 8 months ago
Slightly Beyond Turing's Computability for Studying Genetic Programming
Inspired by genetic programming (GP), we study iterative algorithms for non-computable tasks and compare them to naive models. This framework justifies many practical standard tri...
Olivier Teytaud
CHI
2007
ACM
16 years 6 months ago
Software design and engineering as a social process
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
William A. Stubblefield, Tania L. Carson
CSE
2009
IEEE
16 years 1 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
ITS
2004
Springer
138views Multimedia» more  ITS 2004»
15 years 12 months ago
A Metacognitive ACT-R Model of Students' Learning Strategies in Intelligent Tutoring Systems
Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goal...
Ido Roll, Ryan Shaun Baker, Vincent Aleven, Kennet...
CHI
1999
ACM
15 years 10 months ago
Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models
While current eye-based interfaces offer enormous potential for efficient human-computer interaction, they also manifest the difficulty of inferring intent from user eye movements...
Dario D. Salvucci