Sciweavers

3692 search results - page 403 / 739
» Active learning and its use in computer science
Sort
View
SERP
2003
15 years 8 months ago
FAR: An Editing Tool for Standard Information Generation
It’s difficult for administrators to retrieve information from reports that are generated by different people with different computer platforms, word processors, and interpretat...
Tao Zhang, H. Conrad Cunningham, Jian Li
ISW
2004
Springer
16 years 5 days ago
A Distributed High Assurance Reference Monitor
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
Ajay Chander, Drew Dean, John C. Mitchell
WOLLIC
2010
Springer
15 years 10 months ago
A CTL-Based Logic for Program Abstractions
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
Martin Lange, Markus Latte
CGF
2010
168views more  CGF 2010»
15 years 3 months ago
How to Write a Visualization Research Paper: A Starting Point
This paper attempts to explain the mechanics of writing a research paper in visualization. This serves as a useful starting point for those who have never written a research paper...
Robert S. Laramee
IMSCCS
2006
IEEE
16 years 25 days ago
Identification of New Members of Hydrophobin Family Using Primary Structure Analysis
Background: Hydrophobins are fungal proteins that can turn into amphipathic membranes at hydrophilic/hydrophobic interfaces by self-assembly. The assemblages by Class I hydrophobi...
Kuan Yang, Youping Deng, Chaoyang Zhang, Mohamed O...