677 search results - page 112 / 136 » Dependent Types from Counterexamples |
INTR
2007
14 years 9 months ago
2007
Purpose – The purpose of this paper is to investigate different effects of three network externality factors, i.e. local network size, network strength, and total network size, ...
104
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We consider the problem of revenue-optimal dynamic mechanism design in settings where agents' types evolve over time as a function of their (both public and private) experien...
111
click to vote
AH
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we look at initial results of data mining students’ help-seeking behaviour in two ITSs: SQL-Tutor and EER-Tutor. We categorised help given by these tutor...
SMA
1999
ACM
15 years 2 months ago
1999
ACM
Subdivision surfaces have been extensively used to model smooth shapes of arbitrary topology. Recursive subdivision on an userdefined initial control mesh generates a visually pl...
BMCBI
2005
14 years 9 months ago
2005
Background: Biological Mass Spectrometry is used to analyse peptides and proteins. A mass spectrum generates a list of measured mass to charge ratios and intensities of ionised pe...