10997 search results - page 322 / 2200 » On the Structure of Complete Sets |
171
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
187
click to vote
GRAMMARS
2002
15 years 6 months ago
2002
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
162
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper presents a novel method to determine the complete velocity vector of a moving target using a single Synthetic Aperture Radar (SAR) sensor. The method exploits the struc...
170
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
221
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....