Sciweavers

3793 search results - page 632 / 759
» Expressive Description Logics
Sort
View
APSEC
2005
IEEE
16 years 16 hour ago
Consistency and Interoperability Checking for Component Interaction Rules
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
Yan Jin, Jun Han
ICRA
2005
IEEE
136views Robotics» more  ICRA 2005»
15 years 12 months ago
A Circular Needle Path Planning Method for Suturing in Laparoscopic Surgery
— The work presented in this paper addresses the problem of the stitching task in laparoscopic surgery using a circular needle and a conventional 4 DOFs needle-holder. This task ...
Florent Nageotte, Philippe Zanne, Michel de Mathel...
IHIS
2005
ACM
15 years 12 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
CIVR
2005
Springer
15 years 12 months ago
Person Spotting: Video Shot Retrieval for Face Sets
Matching people based on their imaged face is hard because of the well known problems of illumination, pose, size and expression variation. Indeed these variations can exceed those...
Josef Sivic, Mark Everingham, Andrew Zisserman
POLICY
2005
Springer
15 years 12 months ago
Deriving Semantic Models from Privacy Policies
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
Travis D. Breaux, Annie I. Antón