Sciweavers

4433 search results - page 545 / 887
» Dynamic Optimization of Micro-Operations
Sort
View
RAS
2006
92views more  RAS 2006»
15 years 6 months ago
Trajectory generation and control for four wheeled omnidirectional vehicles
This paper describes an algorithm to calculate near-optimal minimum time trajectories for four wheeled omnidirectional vehicles, which can be used as part of a high-level path pla...
Oliver Purwin, Raffaello D'Andrea
ENTCS
2002
84views more  ENTCS 2002»
15 years 6 months ago
Set Types and Applications
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
Christian Skalka, Scott F. Smith
JCO
2002
96views more  JCO 2002»
15 years 6 months ago
On the Robust Single Machine Scheduling Problem
The single machine scheduling problem with sum of completion times criterion (SS) can be solved easily by the Shortest Processing Time (SPT) rule. In the case of significant uncert...
Jian Yang, Gang Yu
LOGCOM
2010
88views more  LOGCOM 2010»
15 years 5 months ago
Tableaux for Public Announcement Logic
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
Philippe Balbiani, Hans P. van Ditmarsch, Andreas ...
ICDE
2003
IEEE
144views Database» more  ICDE 2003»
16 years 8 months ago
Scalable template-based query containment checking for web semantic caches
Semantic caches, originally proposed for client-server database systems, are being recently deployed to accelerate the serving of dynamic web content by transparently caching data...
Khalil Amiri, Sanghyun Park, Renu Tewari, Sriram P...