166 search results - page 5 / 34 » Event Spaces and their Linear Logic |
ENTCS
2008
14 years 9 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
VTS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
MSCS
2007
14 years 9 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
ICASSP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents a novel classification/ retrieval system for motion events based on a perfect view invariant representation of motion trajectories and a linear classifier al...