Sciweavers

425 search results - page 48 / 85
» On linear sets on a projective line
Sort
View
ENTCS
2006
105views more  ENTCS 2006»
13 years 7 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin

Book
321views
15 years 5 months ago
Algorithms
"This book evolved over the past ten years from a set of lecture notes developed while teaching the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of ...
S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani
ICML
2009
IEEE
14 years 8 months ago
Nonparametric factor analysis with beta process priors
We propose a nonparametric extension to the factor analysis problem using a beta process prior. This beta process factor analysis (BPFA) model allows for a dataset to be decompose...
John William Paisley, Lawrence Carin
ETFA
2005
IEEE
14 years 1 months ago
Quantized optimal control of discrete-time systems
In this paper we consider a quantized discrete-time linear quadratic regulator (DLQR) problem, namely a DLQR problem where the input u may only take values in a given finite set ...
Daniele Corona, Alessandro Giua, Carla Seatzu
GD
2003
Springer
14 years 1 months ago
Track Drawings of Graphs with Constant Queue Number
A k-track drawing is a crossing-free 3D straight-line drawing of a graph G on a set of k parallel lines called tracks. The minimum value of k for which G admits a k-track drawing ...
Emilio Di Giacomo, Henk Meijer