Sciweavers

4987 search results - page 479 / 998
» Fuzzifying P Systems
Sort
View
CLIMA
2004
15 years 8 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
CONCURRENCY
2008
84views more  CONCURRENCY 2008»
15 years 7 months ago
Exploring the feasibility of proactive reputations
Reputation mechanisms help peers in a peer-to-peer (P2P) system avoid unreliable or malicious peers. In application-level networks, however, short peer life-times mean reputations...
Gayatri Swamynathan, Ben Y. Zhao, Kevin C. Almerot...
DC
2008
15 years 7 months ago
The weakest failure detectors to boost obstruction-freedom
This paper determines necessary and sufficient conditions to implement wait-free and non-blocking contention managers in a shared memory system. The necessary conditions hold even...
Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov
FOCM
2006
59views more  FOCM 2006»
15 years 7 months ago
Newton-Hensel Interpolation Lifting
The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in Z[x] from information modulo a...
Martin Avendano, Teresa Krick, Ariel Pacetti
INFORMATICALT
2008
112views more  INFORMATICALT 2008»
15 years 7 months ago
Non-Invasive Intracranial Pulse Wave Monitoring
Abstract. Non-invasive physiological monitors are important subsystems of intensive care informatic systems. New innovative information methods and technology are presented for non...
Arminas Ragauskas, Gediminas Daubaris, Vytautas Pe...