2225 search results - page 102 / 445 » Logical Structures in the Lexicon |
152
click to vote
ATS
2005
IEEE
16 years 21 hour ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
192
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
159
click to vote
ICSM
1998
IEEE
15 years 10 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
187
click to vote
TCS
2010
15 years 4 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
155
click to vote
FOSSACS
2010
Springer
16 years 27 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...