1716 search results - page 290 / 344 » Proving Conditional Termination |
107
click to vote
JAIR
2007
15 years 20 days ago
2007
Most classical scheduling formulations assume a fixed and known duration for each activity. In this paper, we weaken this assumption, requiring instead that each duration can be ...
102
click to vote
JALC
2007
15 years 20 days ago
2007
Merging states in finite automata is a main method of reducing the size of the representation of regular languages. The process has been extensively studied for deterministic fi...
84
Voted
TROB
2008
15 years 20 days ago
2008
In this paper, we address the problem of determining the 2D relative pose of pairs of communicating robots from (i) robot-to-robot distance measurements and (ii) displacement estim...
82
Voted
JNS
2007
15 years 20 days ago
2007
The Ohta-Kawasaki density functional theory of diblock copolymers gives rise to a nonlocal free boundary problem. Under a proper condition between the block composition fraction a...
113
click to vote
JSAC
2007
15 years 20 days ago
2007
Abstract— We consider both the single-user and the multiuser power allocation problems in MIMO systems, where the receiver side has the perfect channel state information (CSI), a...