741 search results - page 127 / 149 » A Local System for Classical Logic |
120
click to vote
NOMS
2002
IEEE
15 years 8 months ago
2002
IEEE
Mobile agents can migrate among nodes to perform a set of management tasks at each of the visited nodes. Existing mobile agent-based network management systems often assume that t...
110
Voted
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
128
Voted
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
121
Voted
JMLR
2011
14 years 10 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
97
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Synchronization in networks with different topolo- is shown that for typical systems only three main scenarios gies is studied. We show that for a large class of oscillators there ...