Sciweavers

1652 search results - page 248 / 331
» Integration in Real PCF
Sort
View
ATMOS
2007
124views Optimization» more  ATMOS 2007»
15 years 6 months ago
A Simulation/Optimization Framework for Locomotive Planning
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
Artyom G. Nahapetyan, Ravindra K. Ahuja, F. Zeynep...
ATMOS
2007
163views Optimization» more  ATMOS 2007»
15 years 6 months ago
Branching Strategies to Improve Regularity of Crew Schedules in Ex-Urban Public Transit
We discuss timetables in ex-urban bus traffic that consist of many trips serviced every day together with some exceptions that do not repeat daily. Traditional optimization methods...
Ingmar Steinzen, Leena Suhl, Natalia Kliewer
ISPD
2007
ACM
116views Hardware» more  ISPD 2007»
15 years 6 months ago
A morphing approach to address placement stability
Traditionally, research in global placement has focused on relatively few simple metrics, such as pure wirelength or routability estimates. However, in the real world today, desig...
Philip Chong, Christian Szegedy
BCSHCI
2008
15 years 6 months ago
SMART: a SysteM of Augmented Reality for Teaching 2nd grade students
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
Rubina Freitas, Pedro Campos
CATS
2007
15 years 6 months ago
Planning with Time Limits in BDI Agent Programming Languages
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
Lavindra de Silva, Anthony Dekker, James Harland