2438 search results - page 256 / 488 » Consistent Gradient Operators |
149
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
104
Voted
MMMACNS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
119
Voted
SIAMCO
2010
15 years 1 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...
112
Voted
TMC
2010
15 years 1 months ago
2010
Short Message Service (SMS) is the most popular mobile data service today. In Taiwan, a subscriber sends more than 200 short messages per year on average. The huge demand for SMS ...
129
Voted
ACSD
2010
IEEE
15 years 23 days ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....