Sciweavers

4029 search results - page 554 / 806
» Reconfigurable Systems in Education
Sort
View
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 11 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
CHI
2011
ACM
14 years 11 months ago
Classroom-based assistive technology: collective use of interactive visual schedules by students with autism
vSked is an interactive and collaborative assistive technology for students with autism, combining visual schedules, choice boards, and a token-based reward system into an integra...
Meg Cramer, Sen H. Hirano, Monica Tentori, Michael...
CORR
2011
Springer
177views Education» more  CORR 2011»
14 years 11 months ago
A Self-Organized Resource Allocation using Inter-Cell Interference Coordination (ICIC) in Relay-Assisted Cellular Networks
: In a multi-cell scenario, the inter-cell interference (ICI) is detrimental in achieving the intended system performance, in particular for the edge users. There is paucity of wor...
Mahima Mehta, Osianoh Glenn Aliu, Abhay Karandikar...
CORR
2012
Springer
292views Education» more  CORR 2012»
14 years 3 months ago
Optimal Threshold Control by the Robots of Web Search Engines with Obsolescence of Documents
A typical web search engine consists of three principal parts: crawling engine, indexing engine, and searching engine. The present work aims to optimize the performance of the cra...
Konstantin Avrachenkov, Alexander N. Dudin, Valent...
MC
2003
157views Computer Science» more  MC 2003»
15 years 8 months ago
From Adaptive Hypermedia to the Adaptive Web
Web systems suffer from an inability to satisfy heterogeneous needs of many users. A remedy for the negative effects of the traditional "one-size-fits-all'' approac...
Peter Brusilovsky