Boris Konev, Stephan Schulz (eds, March Boris Konev, Stephan Schulz, Ro Cimatti Itc/irst, Bart Demoen, ...
We proudly present the papers selected for the Fifth Workshop on the Implementation of Logics held in conjunction with the Eleventh International Conference on Logic for Programming, Artificial...
Risking Communications Security: Potential Hazards of the “Protect America Act” (2008)
Steven M, Susan L, Sun Microsystems, Peter G. Neumann, Sri International
Ink, Improvisation, and Interactive Engagement: Learning with Tablets (2008)
Jeremy Roschelle, Sri International, Deborah Tatar, Virginia Tech, S. Raj Chaudhury, Yannis Dimitriadis, ...
Instructional models that reflective educators develop and share with their peers will primarily drive advances in the use of tablets in education. Communities that form around platforms such as...
The Semantic Web Bringing Semantics to Web Services (2008)
James Hendler, Sheila A. Mcilraith, David L. Martin, Sri International
Arevolution is underway in computing, and if you believe pundits such as Vint Cerf, “father of the Internet, ” it won’t be long before your bathroom scale surreptitiously transmits your weight...
Prepared William, R. Penuel, Sri International
Curriculum developers have created a large number of educational innovations in the last century of public schools, and new innovations are likely in the 21st Century. Such innovations arise from...
Designing Knowledge Representations for Learning Epistemic (2008)
William A. Sandoval, Elaine Coleman, Sri International
We thank the Center for Innovative Learning Technologies (CILT) for a seed grant to enable us to pursue the synthesis of design principles presented here. We also thank the agencies who have funded...
H. S. Javitz, A. Valdes, T. F. Lunt, A. Tamaru, M. Tyson, ...
ProletrainingThegeneralprocedureofupdatingproles,addinganddroppingcategories, andadjustingtheempiricaldistributionsforQandT2.Itproceedsinthreestages.In prole....
Designing Knowledge Representations for Learning Epistemic (2008)
William A. Sandoval, Elaine Coleman, Sri International
We thank the Center for Innovative Learning Technologies (CILT) for a seed grant to enable us to pursue the synthesis of design principles presented here. We also thank the agencies who have funded...
John P. Sabatini, Ncal Melanie Daniels, Lynda Ginsburg, Ncal Kelly Limeul, Mary Russell, Regie Stites, ...
A. Preservice training and credentialing
5.1 Why Are Sublanguages Important for Applied Computational Lingustics? (2007)
Donald E. Walker, Sri International, Richard Kittredge Chairperson
Four of the five panels at this workshop are assess-ing the perspectives in applied computational linguis-tics for four important problem areas: natural-language interfaces, machine translation, text...
Madeline Bates, Barbara Grosz, Sri International, David D. Mcdonald, Kathleen R. Mckeown
This report consists of two documents describing the state of the art of computer generation of natural language text. Both were prepared by a panel of indi-viduals who are active in research on text...
focus global software development Using Components for Rapid Distributed Software Development (2007)
A Large, Er Repenning, Andri Ioannidou, Michele Payton, Wenming Ye, Jeremy Roschelle, ...
geographically distributed testbed consisting of domain experts, component framework coordinators, developers, publishers, and users produces educational applications using a rapid production...
Brian Drabble, Jana Koehler, Ioannis Refanidis, Patrick Doherty, Alfonso Gerevini, Hector Geffner, ...
1 Intro Abduction and Mismatch in Machine Translation (2007)
Jean Mark Gawron, Sri International
There are a number of quality and correctness issues connected with state-of-the-art machine translation (MT) systems. The rst requirement, which we will not be addressing in this paper, is to...
Risking Communications Security: Potential Hazards of the “Protect America Act” (2007)
Steven M, Susan L, Sun Microsystems, Peter G. Neumann, Sri International
The Protect America Act passed in August 2007 changes U.S. law to allow warrantless foreign-intelligence wiretapping from within the U.S. of any communications believed to include one party located...
Semantic Web Services, Part 2 (2007)
David Martin, John Domingue, Amit Sheth, Steve Battle, Katia Sycara, Dieter Fensel, ...
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying...
Risking Communications Security: Potential Hazards of the “Protect America Act” (2007)
Steven M, Susan L, Sun Microsystems, Peter G. Neumann, Sri International
The August 2007 Protect America Act changes U.S. law to allow warrantless foreignintelligence wiretapping from within the U.S. of any communications believed to include one party located outside the...
Michael D. Byrne, David L. Dill, Peter G. Neumann, Sri International
The voting system integrity problem is a paradigmatic hard Cyber Security problem, spanning the entire Cyber Trust program including trustworthy system architectures, security, integrity, privacy,...
Classroom Response and Communication Systems: Research Review and Theory (2004)
Jeremy Roschelle, Sri International, William R. Penuel, Sri International
classroom response system technology and the related pedagogy as one of the most promising innovations for transforming classrooms to be more learner-, knowledge-, assessment-, and...
Detecting novel scans through pattern anomaly detection (2003)
Alfonso Valdes, Sri International
We introduce a technique for detecting anomalous patterns in a categorical feature (one that takes values from a finite alphabet). It differs from most anomaly detection methods used to date in that...
In Postsecondary, In Postsecondary, Prepared David, W. Cheney, Sri International, Peter T. Knight, ...
i
In Postsecondary, In Postsecondary, Prepared David, W. Cheney, Sri International, Peter T. Knight, ...
i
Designing Knowledge Representations for Learning Epistemic Practices of Science (2000)
William A. Sandoval, Philip Bell, Elaine Coleman, Noel Enyedy, Daniel Suthers, Sri International
This paper presents initial findings from our collaborative effort to understand the roles various kinds of scientific representations play in supporting students' epistemological learning in...
Abduction and Mismatch in Machine Translation (1999)
Jean Mark Gawron, Sri International
this paper, is to produce a correct analysis of the input text, where correctness is defined by the needs of the particular system. Assuming the correct analysis is found, the next step is search for...
Dialog Act Modeling for Conversational Speech (1998)
Andreas Stolcke, Elizabeth Shriberg, Sri International, Noah Coccaro, Daniel Jurafsky, Rachel Martin, ...
We describe an integrated approach for statistical modeling of discourse structure for natural conversational speech. Our model is based on 42 `dialog acts' (e.g., Statement, Question,...
Dialog Act Modeling for Conversational Speech (1998)
Andreas Stolcke, Elizabeth Shriberg, Sri International, Noah Coccaro, Daniel Jurafsky, Rachel Martin, ...
We describe an integrated approach for statistical modeling of discourse structure for natural conversational speech. Our model is based on 42 `dialog acts' (statement, question, backchannel,...
ACMAINT: An Account Creation and Maintenance System for Distributed UNIX Systems (1990)
Acmaint An, David A. Curry, Sri International, Jeffrey R. Schwab, Samuel D. Kimery, ...
ACMAINT is a network-based, centralized database system used to manage computer account creation and maintenance on the Purdue University Engineering Computer Network. ACMAINT allows the system...
Environmental impact statement (EIS) for the Hurricane Amelioration Research Project. (1978)
ca. 200 p. in various pagings :
Adaptive, Model-based Monitoring for Cyber Attack Detection
Alfonso Valdes, Keith Skinner, Sri International
Inference methods for detecting attacks on information resources typically use signature analysis or statistical anomaly detection methods. The former have the advantage of attack specificity, but...