Sciweavers

1163 search results - page 86 / 233
» Department of Redundancy Department
Sort
View
ICIW
2009
IEEE
15 years 3 months ago
PULSE Extended
Using a learning management system (LMS) is a common practise nowadays. Such instruments are used in educational institutions to enhance and support the teaching act as well as in ...
Sanda Dragos
ENTCS
2010
72views more  ENTCS 2010»
15 years 3 months ago
View-Augmented Abstractions
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
Matt Elder, Denis Gopan, Thomas W. Reps
APPROX
2010
Springer
133views Algorithms» more  APPROX 2010»
15 years 23 days ago
Liftings of Tree-Structured Markov Chains - (Extended Abstract)
d Abstract) Thomas P. Hayes1 and Alistair Sinclair2 1 Department of Computer Science, University of New Mexico 2 Computer Science Division, University of California at Berkeley A &...
Thomas P. Hayes, Alistair Sinclair
CORR
2011
Springer
187views Education» more  CORR 2011»
15 years 22 days ago
The Language Features and Architecture of B-Prolog
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
Neng-Fa Zhou
ENTCS
2011
56views more  ENTCS 2011»
15 years 21 days ago
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)
d abstract) Andr´e Joyal 1 D´epartement des math´ematiques Universit´e du Qu´ebec `a Montr´eal Canada Joachim Kock 2 3 Departament de matem`atiques Universitat Aut`onoma de B...
André Joyal, Joachim Kock