4100 search results - page 333 / 820 » General Linear Cameras |
196
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
213
click to vote
SBRN
2008
IEEE
16 years 1 months ago
2008
IEEE
The design of an autonomous navigation system for mobile robots can be a tough task. Noisy sensors, unstructured environments and unpredictability are among the problems which mus...
124
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— A novel equalization algorithm utilizing improper nature of the intersymbol interference (ISI) is introduced in this paper. We show that full exploitation of the available info...
169
click to vote
COCOA
2007
Springer
16 years 29 days ago
2007
Springer
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...
194
click to vote
CSL
2007
Springer
16 years 29 days ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...