3044 search results - page 391 / 609 » Linear logical approximations |
186
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
242
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the main advantages of fuzzy modeling is the ability to yield interpretable results. Amongst these modeling methods, the OLS algorithm is a mathematically robust techniq...
161
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
135
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
－ This paper presents a 2GS/s 10-bit CMOS digital-to-analog converter (DAC). This DAC consists of a unit current-cell matrix for 6MSBs and another unit current-cell matrix for 4L...
164
click to vote
APN
2007
Springer
16 years 25 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...