34 search results - page 4 / 7 » Towards higher impact argumentation |
CORR
2012
Springer
12 years 3 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
ECCV
1996
Springer
14 years 9 months ago
1996
Springer
There have been two thrusts in the development of optical flow algorithms. One has emphasized higher accuracy; the other faster implementation. These two thrusts, however, have be...
DSS
2008
13 years 7 months ago
2008
This research uses functional data modelling to study the price formation process of online auctions. It conceptualizes the price curve and its first and second derivatives (veloc...
FTDCS
2003
IEEE
14 years 23 days ago
2003
IEEE
Recently, the scheme of parallel downloading (PD) has been adopted by a number of Internet file downloading applications. With the wide deployment of content distribution network...
CSCL
2007
13 years 7 months ago
2007
This article describes the impact of learning in asynchronous discussion groups on students’ levels of knowledge construction. A design-based approach enabled the comparison of t...