197 search results - page 21 / 40 » A Cost-Regular Based Hybrid Column Generation Approach |
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
Human-to-human interaction across distributed applications requires that sufficient consistency be maintained among participants in the face of network characteristics such as lat...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
Abstract—Content-based information dissemination has a potential number of applications in vehicular networking, including advertising, traffic and parking notifications and em...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper, we propose an action planning algorithm and its evaluation method based on dynamic simulation for a novel type of hybrid leg-wheel rover for planetary exploratio...