3133 search results - page 182 / 627 » Difference systems of sets and cyclotomy |
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
158
click to vote
MCS
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Boosting methods are known to improve generalization performances of learning algorithms reducing both bias and variance or enlarging the margin of the resulting multi-cl...
155
click to vote
ORL
2002
15 years 6 months ago
2002
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
175
click to vote
SIAMCO
2002
15 years 6 months ago
2002
The paper studies the problem of reachability for linear systems in the presence of uncertain input disturbances that may also be interpreted as the action of an adversary in a ga...
143
click to vote
TMI
2002
15 years 6 months ago
2002
Abstract--Reconstruction-based microwave-induced thermoacoustic tomography in a spherical configuration is presented. Thermoacoustic waves from biological tissue samples excited by...