Sciweavers

1022 search results - page 60 / 205
» Stable models and circumscription
Sort
View
APJOR
2008
91views more  APJOR 2008»
13 years 10 months ago
Stability in Queueing Networks via the Finite Decomposition Property
Determination of the stability behavior of a queueing network is an important part of analyzing such systems. In Gamarnik and Hasenbein (2005) it is shown if a fluid network has t...
Utku Yildirim, John J. Hasenbein
ENTCS
2008
72views more  ENTCS 2008»
13 years 10 months ago
Towards a Notion of Transaction in Graph Rewriting
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
Paolo Baldan, Andrea Corradini, Fernando Luí...
CDC
2010
IEEE
126views Control Systems» more  CDC 2010»
13 years 5 months ago
Bifurcation of singular arcs in an optimal control problem for cancer immune system interactions under treatment
A mathematical model for cancer treatment that includes immunological activity is considered as an optimal control problem. In the uncontrolled system there exist both a region of ...
Urszula Ledzewicz, Mohammad Naghnaeian, Heinz Sch&...
EAAI
2010
107views more  EAAI 2010»
13 years 5 months ago
Honey bee social foraging algorithms for resource allocation: Theory and application
A model of honey bee social foraging is introduced to create an algorithm that solves a class of optimal resource allocation problems. We prove that if several such algorithms (&q...
Nicanor Quijano, Kevin M. Passino
IROS
2009
IEEE
129views Robotics» more  IROS 2009»
14 years 4 months ago
Using symmetrical regions of interest to improve visual SLAM
— Simultaneous Localization and Mapping (SLAM) based on visual information is a challenging problem. One of the main problems with visual SLAM is to find good quality landmarks,...
Gert Kootstra, Lambert Schomaker