Sciweavers

87 search results - page 13 / 18
» Representing a robotic domain using temporal description log...
Sort
View
93
Voted
EKAW
2004
Springer
15 years 3 months ago
Managing Patient Record Instances Using DL-Enabled Formal Concept Analysis
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
Bo Hu, Srinandan Dasmahapatra, David Dupplaw, Paul...
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
ESANN
2006
14 years 11 months ago
Unsupervised clustering of continuous trajectories of kinematic trees with SOM-SD
We explore the capability of the Self Organizing Map for structured data (SOM-SD) to compress continuous time data recorded from a kinematic tree, which can represent a robot or an...
Jochen J. Steil, Risto Koiva, Alessandro Sperduti
105
Voted
CORR
2010
Springer
185views Education» more  CORR 2010»
14 years 6 months ago
Analysing the behaviour of robot teams through relational sequential pattern mining
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
Grazia Bombini, Raquel Ros, Stefano Ferilli, Ramon...
83
Voted
ATAL
2008
Springer
14 years 11 months ago
Semantic matchmaking of web services using model checking
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
Akin Günay, Pinar Yolum