Sciweavers

1446 search results - page 235 / 290
» Testing for Concise Representations
Sort
View
JUCS
2008
129views more  JUCS 2008»
13 years 9 months ago
The Remote Control Approach - An Architecture for Adaptive Scripting across Collaborative Learning Environments
: In this article we present an architecture for the integration of tutoring approaches and process scaffolds into existing collaborative applications. The architecture allows to c...
Andreas Harrer, Nils Malzahn, Astrid Wichmann
JEA
2006
90views more  JEA 2006»
13 years 9 months ago
Heuristics for estimating contact area of supports in layered manufacturing
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
Ivaylo Ilinkin, Ravi Janardan, Michiel H. M. Smid,...
ENTCS
2007
126views more  ENTCS 2007»
13 years 9 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
ML
2008
ACM
109views Machine Learning» more  ML 2008»
13 years 9 months ago
O'browser: objective caml on browsers
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
ET
2007
67views more  ET 2007»
13 years 9 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher