Sciweavers

267 search results - page 4 / 54
» Developing an Online Function Reader
Sort
View
ACL2
2006
ACM
14 years 3 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
ECTEL
2007
Springer
14 years 4 months ago
The Development of TE-Cap: An Assistance Environment for Online Tutors
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...
Élise Garrot, Sébastien George, Patr...
CVPR
2009
IEEE
15 years 4 months ago
A Perceptually Motivated Online Benchmark for Image Matting
The availability of quantitative online benchmarks for low-level vision tasks such as stereo and optical flow has led to significant progress in the respective fields. This paper...
Christoph Rhemann (Vienna University of Technology...
ICONFERENCE
2011
13 years 4 months ago
Lifting the veil: the expression of values in online communities
Wikipedia’s stated mission is to provide a free encyclopedia that people all over the world can use and contribute to. However, while Wikipedia is successful at providing access...
Jonathan T. Morgan, Robert M. Mason, Karine Nahon
ENTER
2007
Springer
14 years 1 months ago
Developing Web-Based Tourist Information Tools Using Google Map
This paper reports an explanatory study of using Google Map API to develop two destinationspecific tourist information tools: a handheld tour guide and an online trip planner for ...
Bing Pan, John C. Crotts, Brian Muller