Sciweavers

18090 search results - page 761 / 3618
» Computing by Only Observing
Sort
View
PVM
2007
Springer
16 years 1 months ago
(Sync|Async)+ MPI Search Engines
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
Mauricio Marín, Veronica Gil Costa
SAT
2007
Springer
99views Hardware» more  SAT 2007»
16 years 1 months ago
Horn Upper Bounds and Renaming
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
Marina Langlois, Robert H. Sloan, György Tur&...
SCALESPACE
2007
Springer
16 years 1 months ago
Super-Resolution Using Sub-band Constrained Total Variation
Abstract. Super-resolution of a single image is a severely ill-posed problem in computer vision. It is possible to consider solving this problem by considering a total variation ba...
Priyam Chatterjee, Vinay P. Namboodiri, Subhasis C...
225
Voted
UCS
2007
Springer
16 years 1 months ago
D-FLER - A Distributed Fuzzy Logic Engine for Rule-Based Wireless Sensor Networks
Abstract. We propose D-FLER, a distributed, general-purpose reasoning engine for WSN. D-FLER uses fuzzy logic for fusing individual and neighborhood observations, in order to produ...
Mihai Marin-Perianu, Paul J. M. Havinga
CLUSTER
2006
IEEE
16 years 1 months ago
Architecture and Implementation of Sockets Direct Protocol in Windows
Sockets Direct Protocol (SDP) is a byte stream protocol that utilizes the capabilities of the InfiniBand fabric to transparently achieve performance gains for existing socket-base...
Dror Goldenberg, Tzachi Dar, Gilad Shainer