16513 search results - page 3054 / 3303 » Numerical Analysis Methods |
155
click to vote
CHI
2011
ACM
14 years 10 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...
184
click to vote
CHI
2011
ACM
14 years 10 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...
270
click to vote
CICLING
2011
Springer
14 years 10 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 ...
199
click to vote
FASE
2011
Springer
14 years 10 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...
318
click to vote
FAST
2011
14 years 10 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...