1358 search results - page 14 / 272 » Proceedings |
166
Voted
LICS
1995
IEEE
15 years 6 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
94
Voted
WSC
2007
15 years 4 months ago
2007
In the study of physiologic systems control, lumped parameter and differential equation techniques are standard approaches. Application of these techniques to the study of oxygen ...
98
Voted
ESANN
2004
15 years 4 months ago
2004
This work investigates whether population vector coding could be a principle mechanism for sensorimotor transformations. This paper presents a formal demonstration of how populatio...
126
click to vote
ANLP
1997
15 years 3 months ago
1997
We describe a practical parser for unrestricted dependencies. The parser creates links between words and names the links according to their syntactic functions. We first describe ...
ANOR
2007
15 years 2 months ago
2007
Abstract This paper is devoted to bilevel optimization, a branch of mathematical programming of both practical and theoretical interest. Starting with a simple example, we proceed ...