Sciweavers

1458 search results - page 163 / 292
» Extended Term Rewriting Systems
Sort
View
155
Voted
CALCO
2007
Springer
89views Mathematics» more  CALCO 2007»
16 years 8 days ago
Structured Co-spans: An Algebra of Interaction Protocols
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
José Luiz Fiadeiro, Vincent Schmitt
ICIP
2005
IEEE
15 years 11 months ago
Using Tsallis entropy into a Bayesian network for CBIR
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...
Paulo S. Rodrigues, Gilson A. Giraldi, Ade A. Arau...
KCAP
2005
ACM
15 years 11 months ago
Collaborative knowledge capture in ontologies
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
Patrick J. Hayes, Thomas C. Eskridge, Raul Saavedr...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 11 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
ICRA
2003
IEEE
150views Robotics» more  ICRA 2003»
15 years 11 months ago
Studying the Feasibility of Energy Harvesting in a Mobile Sensor Network
We study the feasibility of extending the lifetime of a wireless sensor network by exploiting mobility. In our system, a small percentage of network nodes are autonomously mobile,...
Mohammad H. Rahimi, Hardik Shah, Gaurav S. Sukhatm...