Sciweavers

583 search results - page 45 / 117
» Cognitive development and qualitative modelling
Sort
View
ICC
2008
IEEE
136views Communications» more  ICC 2008»
15 years 10 months ago
A Game-Theoretic Framework for Interference Management through Cognitive Sensing
A game theoretic framework is developed in this paper to facilitate inter-cell interference management through cognitive sensing distributively performed by mobile stations (MSs)....
Yingda Chen, Koon Hoo Teo, Shalinee Kishore, Jinyu...
CHI
2007
ACM
16 years 4 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
AAAI
2007
15 years 6 months ago
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver
Transfer learning is the ability of an agent to apply knowledge learned in previous tasks to new problems or domains. We approach this problem by focusing on model formulation, i....
Matthew Klenk, Kenneth D. Forbus
TASE
2008
IEEE
15 years 3 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
BMCBI
2006
154views more  BMCBI 2006»
15 years 4 months ago
Agile methods in biomedical software development: a multi-site experience report
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
David W. Kane, Moses M. Hohman, Ethan G. Cerami, M...