3778 search results - page 121 / 756 » Erdos-Ko-Rado for three sets |
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
118
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— During a complete running stride, which involves significant periods of flight during which no legs are contacting the ground, a quadruped cannot employ static stability tech...
118
click to vote
ISM
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider Multimedia applications where clients specify a minimum desired stream rate (quality) and a time till when they are willing to wait, termed delay tolerance. The Conten...
122
click to vote
ISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
We report on the results of a user study to investigate the utility of passive haptics for eyes-free numeric entry. This work targets cursorless user interfaces designed for use w...
154
click to vote
SUTC
2006
IEEE
2006
IEEE
Schedules with Minimized Access Latency for Disseminating Dependent Information on Multiple Channels
15 years 10 months ago
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data...