Sciweavers

2611 search results - page 216 / 523
» A Logic for Concepts and Similarity
Sort
View
ATVA
2007
Springer
105views Hardware» more  ATVA 2007»
16 years 21 days ago
Quantifying the Discord: Order Discrepancies in Message Sequence Charts
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
Edith Elkind, Blaise Genest, Doron Peled, Paola Sp...
ADVIS
2006
Springer
16 years 15 days ago
Contextual Ontologies
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
Djamal Benslimane, Ahmed Arara, Gilles Falquet, Za...
ISCAS
2005
IEEE
140views Hardware» more  ISCAS 2005»
16 years 3 days ago
Low energy asynchronous architectures
: Asynchronous circuits are often presented as a means of achieving low power operation. We investigate their suitability for low-energy applications, where long battery life and d...
Ilya Obridko, Ran Ginosar
TIME
2005
IEEE
16 years 3 days ago
A Trace Semantics for Positive Core XPath
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
Pieter H. Hartel
CEEMAS
2005
Springer
16 years 2 days ago
Modelling of Agents' Behavior with Semi-collaborative Meta-agents
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
Jan Tozicka, Filip Zelezný, Michal Pechouce...