Sciweavers

561 search results - page 47 / 113
» An Investigation Into Computer Forensic Tools
Sort
View
JAPLL
2010
98views more  JAPLL 2010»
15 years 12 days ago
Formalization of the ad hominem argumentation scheme
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
Douglas Walton
114
Voted
CCGRID
2005
IEEE
15 years 7 months ago
The QuarkNet/grid collaborative learning e-Lab
We describe a case study that uses grid computing techniques to support the collaborative learning of high school students investigating cosmic rays. Students gather and upload sc...
Marjorie Bardeen, Eric Gilbert, Thomas Jordan, Pau...
BIRTHDAY
2007
Springer
15 years 8 months ago
Generating Polynomial Invariants with DISCOVERER and QEPCAD
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
FUN
2007
Springer
87views Algorithms» more  FUN 2007»
15 years 8 months ago
Knitting for Fun: A Recursive Sweater
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
Anna Bernasconi, Chiara Bodei, Linda Pagli
CHI
2006
ACM
15 years 8 months ago
From the personal to the profound: understanding the blog life cycle
This ongoing research project investigates the changes that occur to weblogs (blogs) throughout their lifespan. It examines both the markers that indicate a particular phase of it...
David Gurzick, Wayne G. Lutters