1716 search results - page 219 / 344 » Proving Conditional Termination |
109
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...
134
click to vote
IWOCA
2009
Springer
15 years 7 months ago
2009
Springer
R. H¨aggkvist proved that every 3-regular bipartite graph of order 2n with no component isomorphic to the Heawood graph decomposes the complete bipartite graph K6n,6n. In [2] the ...
120
Voted
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
We consider the set Gn of all period sets of strings of length n over a finite alphabet. We show that there is redundancy in period sets and introduce the notion of an irreducibl...
111
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
The paper presents a novel control approach for the robot-assisted motion augmentation of disabled subjects during the standing-up manoeuvre. The main goal of the proposal is to i...
117
click to vote
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
Increases in delay due to coupling can have a dramatic impact on IC performance for deep submicron technologies. To achieve maximum performance there is a need for analyzing logic...