Sciweavers

675 search results - page 58 / 135
» New reals: Can live with them, can live without them
Sort
View
ITS
2000
Springer
135views Multimedia» more  ITS 2000»
15 years 2 months ago
Analyzing and Generating Mathematical Models: An Algebra II Cognitive Tutor Design Study
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
Albert T. Corbett, Megan McLaughlin, K. Christine ...
CCS
2006
ACM
15 years 2 months ago
RoleMiner: mining roles using subset enumeration
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
Jaideep Vaidya, Vijayalakshmi Atluri, Janice Warne...
CVPR
2003
IEEE
16 years 1 months ago
Finding and Tracking People from the Bottom Up
We describe a tracker that can track moving people in long sequences without manual initialization. Moving people are modeled with the assumption that, while configuration can var...
Deva Ramanan, David A. Forsyth
FLAIRS
2007
15 years 1 months ago
Search Ordering Heuristics for Restarts-Based Constraint Solving
Constraint Satisfaction Problems are ubiquitous in Artificial Intelligence. Over the past decade significant advances have been made in terms of the size of problem instance tha...
Margarita Razgon, Barry O'Sullivan, Gregory M. Pro...
CCR
2010
184views more  CCR 2010»
14 years 11 months ago
Characterising temporal distance and reachability in mobile and online social networks
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
John Tang, Mirco Musolesi, Cecilia Mascolo, Vito L...