Sciweavers

769 search results - page 103 / 154
» Simple Composition of Nets
Sort
View
AROBOTS
2004
99views more  AROBOTS 2004»
13 years 7 months ago
Bayesian Robot Programming
We propose a new method to program robots based on Bayesian inference and learning. It is called BRP for Bayesian Robot Programming. The capacities of this programming method are d...
Olivier Lebeltel, Pierre Bessière, Julien D...
SPIN
2010
Springer
13 years 6 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet
VTC
2010
IEEE
172views Communications» more  VTC 2010»
13 years 6 months ago
A Cumulant-Based Characterization of the Aggregate Interference Power in Wireless Networks
— The importance of characterizing the aggregate interference power generated by a wireless network has increased with the emergence of different types of wireless networks such ...
Muhammad Aljuaid, Halim Yanikomeroglu
SOCA
2010
IEEE
13 years 5 months ago
Weighted fuzzy clustering for capability-driven service aggregation
Abstract--Workflow design, mashup configuration, and composite service formation are examples where the capabilities of multiple simple services combined achieve a complex function...
Christoph Dorn, Schahram Dustdar
IADIS
2009
13 years 5 months ago
Semantically distinct verb classes involved in sentiment analysis
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...