Sciweavers

12115 search results - page 2187 / 2423
» Bisimulation of Dynamical Systems
Sort
View
ATAL
2010
Springer
15 years 7 months ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
ATAL
2010
Springer
15 years 7 months ago
Augmenting appearance-based localization and navigation using belief update
Appearance-based localization compares the current image taken from a robot's camera to a set of pre-recorded images in order to estimate the current location of the robot. S...
George Chrysanthakopoulos, Guy Shani
CCGRID
2010
IEEE
15 years 7 months ago
Towards Energy Aware Scheduling for Precedence Constrained Parallel Tasks in a Cluster with DVFS
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
Lizhe Wang, Gregor von Laszewski, Jai Dayal, Fugan...
CEC
2010
IEEE
15 years 7 months ago
An adaptive ensemble of fuzzy ARTMAP neural networks for video-based face classification
A key feature in population based optimization algorithms is the ability to explore a search space and make a decision based on multiple solutions. In this paper, an incremental le...
Jean-François Connolly, Eric Granger, Rober...
CONEXT
2009
ACM
15 years 7 months ago
PACMAN: a platform for automated and controlled network operations and configuration management
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...
Xu Chen, Zhuoqing Morley Mao, Jacobus E. van der M...
« Prev « First page 2187 / 2423 Last » Next »