2501 search results - page 448 / 501 » Logics with Rank Operators |
105
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
JNW
2008
15 years 4 months ago
2008
When replace railway interlocking devices, setting up of large number of signal cables and confirming of wiring connections are required. So, it is worried that serious transport d...
148
click to vote
FSS
2007
15 years 4 months ago
2007
The relationship between support vector machines (SVMs) and Takagi–Sugeno–Kang (TSK) fuzzy systems is shown. An exact representation of SVMs as TSK fuzzy systems is given for ...
131
click to vote
PERVASIVE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
142
click to vote
TC
2008
15 years 3 months ago
2008
Since redundant number systems allow for constant time addition, they are often at the heart of modular multipliers designed for public key cryptography (PKC) applications. Indeed,...