Sciweavers

3937 search results - page 495 / 788
» Questioning Ubiquitous Computing
Sort
View
COMPGEOM
1997
ACM
15 years 10 months ago
The Area Bisectors of a Polygon and Force Equilibria in Programmable Vector Fields
We consider the family of area bisectors of a polygon possibly with holes in the plane. We say that two bisectors of a polygon P are combinatorially distinct if they induce di e...
Karl-Friedrich Böhringer, Bruce Randall Donal...
ICSE
1997
IEEE-ACM
15 years 10 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
CSFW
1994
IEEE
15 years 10 months ago
One-Representative Safety Analysis in the Non-Monotonic Transform Model
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
Ravi S. Sandhu, Paul Ammann
STOC
1992
ACM
100views Algorithms» more  STOC 1992»
15 years 10 months ago
Biased Random Walks
How much can an imperfect source of randomness affect an algorithm? We examine several simple questions of this type concerning the long-term behavior of a random walk on a finite...
Yossi Azar, Andrei Z. Broder, Anna R. Karlin, Nath...
AIED
2007
Springer
15 years 10 months ago
Novel Tools for Assessing Student Discussions: Modeling threads and participant roles using speech act and course topic analysis
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
Jihie Kim, Erin Shaw, Grace Chern, Roshan Herbert