Sciweavers

956 search results - page 38 / 192
» Slicing Objects Using System Dependence Graphs
Sort
View
RULEML
2010
Springer
13 years 8 months ago
Visualizing Logical Dependencies in SWRL Rule Bases
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
14 years 2 months ago
Coordination of Multiple Mobile Robots in an Object Carrying Task using Implicit Communication
Abstract — This paper addresses the problem of coordinating multiple mobile robots in a tightly coupled task by means of implicit communication. This approach allows the developm...
Guilherme A. S. Pereira, Bruno S. Pimentel, Luiz C...
MICCAI
2010
Springer
13 years 8 months ago
Joint Registration and Segmentation of Dynamic Cardiac Perfusion Images Using MRFs
In this paper we propose a Markov random field (MRF) based method for joint registration and segmentation of cardiac perfusion images, specifically the left ventricle (LV). MRFs ...
Dwarikanath Mahapatra, Ying Sun
DAC
2005
ACM
14 years 11 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
VR
2008
IEEE
129views Virtual Reality» more  VR 2008»
14 years 4 months ago
Object-Capability Security in Virtual Environments
Access control is an important aspect of shared virtual environments. Resource access may not only depend on prior authorization, but also on context of usage such as distance or ...
Martin Scheffler, Jan P. Springer, Bernd Froehlich