Sciweavers

1002 search results - page 105 / 201
» Reasoning about Object Structures Using Ownership
Sort
View
RAS
2010
109views more  RAS 2010»
15 years 20 days ago
Combining active learning and reactive control for robot grasping
Grasping an object is a task that inherently needs to be treated in a hybrid fashion. The system must decide both where and how to grasp the object. While selecting where to grasp...
Oliver Krömer, Renaud Detry, Justus H. Piater...
125
Voted
ICLP
2005
Springer
15 years 7 months ago
Modeling Systems in CLP
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
DEON
2008
Springer
15 years 4 months ago
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
Nora Cuppens-Boulahia, Frédéric Cupp...
IDEAS
1997
IEEE
107views Database» more  IDEAS 1997»
15 years 6 months ago
Query Processing in the ROL system
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
Mengchi Liu, Weidong Yu
134
Voted
BMCBI
2006
161views more  BMCBI 2006»
15 years 2 months ago
A novel approach to phylogenetic tree construction using stochastic optimization and clustering
Background: The problem of inferring the evolutionary history and constructing the phylogenetic tree with high performance has become one of the major problems in computational bi...
Ling Qin, Yixin Chen, Yi Pan, Ling Chen