Sciweavers

1879 search results - page 173 / 376
» Integrating motivations with planning
Sort
View
PATMOS
2004
Springer
14 years 1 months ago
An Efficient Low-Degree RMST Algorithm for VLSI/ULSI Physical Design
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...
Yin Wang, Xianlong Hong, Tong Jing, Yang Yang, Xia...
APSEC
2006
IEEE
14 years 1 days ago
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
Luciano Baresi, Paolo Beretta, Roberto Fraccapani,...
SNPD
2008
13 years 9 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
JVCA
2007
83views more  JVCA 2007»
13 years 8 months ago
Use of inertial sensors to support video tracking
One of the biggest obstacle to building effective augmented reality (AR) systems is the lack of accurate sensors that report the location of the user in an environment during arbi...
Michael Aron, Gilles Simon, Marie-Odile Berger
PE
2008
Springer
173views Optimization» more  PE 2008»
13 years 7 months ago
M/G/1 queue with deterministic reneging times
We consider single-server and multi-server queues with deterministic reneging times motivated by the timeout mechanisms used in application servers.. A Volterra integral equation ...
Wei Xiong, David L. Jagerman, Tayfur Altiok