Sciweavers

4636 search results - page 558 / 928
» Modelling and Validation with VipTool
Sort
View
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
16 years 1 months ago
Energy based path planning for a novel cabled robotic system
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...
Per Henrik Borgstrom, Amarjeet Singh 0003, Brett L...
SYNASC
2008
IEEE
274views Algorithms» more  SYNASC 2008»
16 years 1 months ago
Verbalising R2ML Rules into SBVR
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
Oana Nicolae, Gerd Wagner
ODBIS
2007
Springer
144views Database» more  ODBIS 2007»
16 years 1 months ago
Maintaining Semantic Mappings between Database Schemas and Ontologies
There is a growing need to define a semantic mapping from a database schema to an ontology. Such a mapping is an integral part of the data integration systems that use an ontology...
Yuan An, Thodoros Topaloglou
CSFW
2006
IEEE
16 years 29 days ago
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
Michael J. May, Carl A. Gunter, Insup Lee
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
16 years 28 days ago
Performance of a Solar-powered Robot for Polar Instrument Networks
Abstract – The Cool Robot is a four-wheel-drive, solarpowered autonomous vehicle designed to support summertime science campaigns in Antarctica and Greenland. We deployed the rob...
James H. Lever, Alexander D. Streeter, Laura E. Ra...