Sciweavers

3378 search results - page 133 / 676
» A universe of binding and computation
Sort
View
FECS
2007
99views Education» more  FECS 2007»
14 years 11 months ago
Game Design as a Writing Course in the Liberal Arts
- The School of Computer Science, Telecommunications, and Information Systems (CTI) is a technologically-focused college within DePaul University. While DePaul CTI has a large numb...
Amber Settle, Robin Burke, Lucia Dettori
FECS
2007
105views Education» more  FECS 2007»
14 years 11 months ago
Team-Based Project Design of an Autonomous Robot
In this paper, we discuss the design and engineering of the C-P30, a custom robot design at Cal Poly State University, San Luis Obispo. This robot is designed by undergraduate com...
Thomas Norrie, John Seng
ENTCS
2008
110views more  ENTCS 2008»
14 years 10 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
Peter Selinger, Benoît Valiron
ICASSP
2011
IEEE
14 years 1 months ago
Factor graph switching portfolios under transaction costs
We consider the sequential portfolio investment problem. Building on results in signal processing, machine learning, and other areas, we use factor graphs to develop new universal...
Andrew J. Bean, Andrew C. Singer
PODS
2009
ACM
170views Database» more  PODS 2009»
15 years 10 months ago
A general datalog-based framework for tractable query answering over ontologies
d Abstract) Andrea Cal`i2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1, 1 Computing Laboratory, University of Oxford, UK firstname.lastname@comlab.ox.ac.uk 2 Oxford-Man Institute...
Andrea Calì, Georg Gottlob, Thomas Lukasiew...