5216 search results - page 510 / 1044 » Planning as Model Checking |
162
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—This paper presents a channel model for direct trainto-train communication appropriate for the 400 MHz band. Extrapolation of theoretical and experimental results obtain...
158
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
155
click to vote
MSWIM
2004
ACM
16 years 9 days ago
2004
ACM
– Interference performance is among the most important issues especially in WCDMA cellular networks planning coverage and capacity. F-factor has been introduced in previous works...
223
click to vote
MICCAI
2004
Springer
16 years 7 days ago
2004
Springer
Currently, minimally invasive cardiac surgery (MICS) faces several limitations, including inadequate training methods using non-realistic models, insufficient surgery planning usin...
206
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...