Sciweavers

7123 search results - page 1140 / 1425
» The Ordered Set of Rough Sets
Sort
View
LPAR
2010
Springer
15 years 4 months ago
Semiring-Induced Propositional Logic: Definition and Basic Algorithms
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
Javier Larrosa, Albert Oliveras, Enric Rodrí...
MOBIHOC
2010
ACM
15 years 4 months ago
Identifying the missing tags in a large RFID system
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
Tao Li, Shigang Chen, Yibei Ling
131
Voted
PIMRC
2010
IEEE
15 years 4 months ago
Optimal transmission rate for ultra low-power receivers
In many wireless systems, the energy consumed by the receiver is significantly larger than the energy consumed by transmitter, possibly even by orders of magnitudes. This paper der...
J. H. C. van den Heuvel, Jean-Paul M. G. Linnartz,...
SPIN
2010
Springer
15 years 4 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
ACL
2009
15 years 4 months ago
Semi-supervised Learning for Automatic Prosodic Event Detection Using Co-training Algorithm
Most of previous approaches to automatic prosodic event detection are based on supervised learning, relying on the availability of a corpus that is annotated with the prosodic lab...
Je Hun Jeon, Yang Liu
« Prev « First page 1140 / 1425 Last » Next »