4460 search results - page 281 / 892 » Formal methods for interactive systems |
175
click to vote
AEI
2007
15 years 7 months ago
2007
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...
163
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Distributed coordination is critical for a multirobot system in hazardous waste cleanup under a dynamic environment. To achieve higher efficiency as well as robustness,...
142
Voted
COMPSAC
2003
IEEE
16 years 9 days ago
2003
IEEE
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...
161
click to vote
FSTTCS
1994
Springer
15 years 10 months ago
1994
Springer
We give an interactive protocol for s-t RELIABILITY, the well known reliability problem on graphs. Our protocol shows that if IP(f(n)) denotes the class of languages whose interac...
182
Voted
SAS
2005
Springer
16 years 14 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...