Sciweavers

1930 search results - page 50 / 386
» Epistemic comparative conditionals
Sort
View
JOCN
2011
67views more  JOCN 2011»
14 years 6 months ago
Reasoning with Exceptions: An Event-related Brain Potentials Study
â–  Defeasible inferences are inferences that can be revised in the light of new information. Although defeasible inferences are pervasive in everyday communication, little is kno...
Judith Pijnacker, Bart Geurts, Michiel van Lambalg...
CVPR
2012
IEEE
13 years 2 months ago
Multi view registration for novelty/background separation
We propose a system for the automatic segmentation of novelties from the background in scenarios where multiple images of the same environment are available e.g. obtained by weara...
Omid Aghazadeh, Josephine Sullivan, Stefan Carlsso...
DAC
2012
ACM
13 years 2 months ago
STM concurrency control for embedded real-time software with tighter time bounds
We consider software transactional memory (STM) concurrency control for multicore real-time software, and present a novel contention manager (CM) for resolving transactional conï¬...
Mohammed El-Shambakey, Binoy Ravindran
NSDI
2008
15 years 2 months ago
BFT Protocols Under Fire
Much recent work on Byzantine state machine replication focuses on protocols with improved performance under benign conditions (LANs, homogeneous replicas, limited crash faults), ...
Atul Singh, Tathagata Das, Petros Maniatis, Peter ...
ASIAN
2004
Springer
69views Algorithms» more  ASIAN 2004»
15 years 5 months ago
Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing
Abstract. We give conditions for hash table probing which minimize the expected number of collisions. A probing algorithm is determined by a sequence of numbers denoting jumps for ...
Lars Lundberg, Håkan Lennerstad, Kamilla Klo...