Sciweavers

1512 search results - page 18 / 303
» connection 2006
Sort
View
CADE
2006
Springer
15 years 9 months ago
Connection Tableaux with Lazy Paramodulation
It is well-known that the connection refinement of clause tableaux with paramodulation is incomplete (even with weak connections). In this paper, we present a new connection tablea...
Andrey Paskevich
JCST
2000
89views more  JCST 2000»
14 years 9 months ago
LinuxDirector: A Connection Director for Scalable Internet Services
LinuxDirector is a connection director that supports load balancing among multiple Internet servers, which can be used to build scalable Internet services based on clusters of ser...
Zhang Wensong, Shiyao Jin, Quanyuan Wu
JCT
2006
54views more  JCT 2006»
14 years 9 months ago
Matroid packing and covering with circuits through an element
Abstract. In 1981, Seymour proved a conjecture of Welsh that, in a connected matroid M, the sum of the maximum number of disjoint circuits and
Manoel Lemos, James G. Oxley
OSDI
2006
ACM
15 years 9 months ago
Persistent Personal Names for Globally Connected Mobile Devices
The Unmanaged Internet Architecture (UIA) provides zero-configuration connectivity among mobile devices through personal names. Users assign personal names
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, ...
93
Voted
IJON
1998
95views more  IJON 1998»
14 years 9 months ago
Self-organization and segmentation in a laterally connected orientation map of spiking neurons
The RF-SLISSOM model integrates two separate lines of research on computational modeling of the visual cortex. Laterally connected self-organizing maps have been used to model how...
Yoonsuck Choe, Risto Miikkulainen