2647 search results - page 420 / 530 » Solving Term Inequalities |
131
click to vote
JSC
2010
15 years 3 months ago
2010
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
116
click to vote
SYNTHESE
2010
15 years 3 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
168
click to vote
TCS
2010
15 years 2 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
171
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
Integrating a large number of on-chip voltage regulators holds the promise of solving many power delivery challenges through strong local load regulation and facilitates systemlev...
151
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Nowadays, the Quality of Service (QoS) in Optical Grids has become a key issue. An important QoS factor is the resiliency, namely the ability to survive from certain network failur...