17054 search results - page 315 / 3411 » Logics of Dynamical Systems |
190
click to vote
ENTCS
2008
15 years 7 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...
178
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
195
click to vote
CSC
2006
15 years 8 months ago
2006
: A review of a uni...ed approach to nonlinear operator dynamical systems is presented. The solution to a system of nonanticipating operator di
191
click to vote
ICSM
1998
IEEE
15 years 11 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...
230
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...