Sciweavers

4902 search results - page 692 / 981
» Multi-agent Systems Methodology
Sort
View
183
Voted
IJACTAICIT
2010
84views more  IJACTAICIT 2010»
15 years 1 months ago
An Improved Deadlock Prevention Strategy for FMSs Using Theory of Regions
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
Yi-Sheng Huang, Yen-Liang Pan
JAPLL
2010
126views more  JAPLL 2010»
15 years 1 months ago
Justification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
Melvin Fitting
JDCTA
2010
176views more  JDCTA 2010»
15 years 1 months ago
A Context-Aware Framework using Ontology for Smart Phone Platform
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
Yun Her, Su-Kyoung Kim, YoungTaek Jin
SCP
2010
123views more  SCP 2010»
15 years 1 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
ICASSP
2011
IEEE
14 years 10 months ago
Polar randomized hough transform for lane detection using loose constraints of parallel lines
In this paper, we propose a new methodology for detecting lane markers that exploits the parallel nature of lane boundaries on the road. First, the input image is pre-processed an...
Amol Borkar, Monson Hayes, Mark T. Smith