16513 search results - page 3054 / 3303 » Numerical Analysis Methods |
130
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
We lay out one strand of a continuing investigation into the development of a virtual peer to help children learn to use “school English” and “school-ratified science talk...
139
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Previously, we presented Viz-A-Vis, a VIsualiZation of Activity through computer VISion [17]. Viz-A-Vis visualizes behavior as aggregate motion over observation space. In this pap...
224
click to vote
CICLING
2011
Springer
14 years 7 months ago
2011
Springer
Wikipedia is an online encyclopedia which anyone can edit. While most edits are constructive, about 7% are acts of vandalism. Such behavior is characterized by modifications made ...
164
click to vote
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
259
click to vote
FAST
2011
14 years 7 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...