Sciweavers

3658 search results - page 483 / 732
» Founding properties on measurement
Sort
View
LOGCOM
2010
87views more  LOGCOM 2010»
15 years 5 months ago
Exemplaric Expressivity of Modal Logics
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
Bart Jacobs, Ana Sokolova
ORDER
2010
110views more  ORDER 2010»
15 years 5 months ago
The Complexity of Embedding Orders into Small Products of Chains
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
Olivier Raynaud, Eric Thierry
IJCAT
2010
80views more  IJCAT 2010»
15 years 3 months ago
Laser remanufacturing based on the integration of reverse engineering and laser cladding
: Laser remanufacturing has been used as an approach to refurbish or to improve the surface quality of high-priced parts. However, most of the existing systems lack measuring and m...
Liangliang Nan, Weijun Liu, Kai Zhang
CDC
2010
IEEE
109views Control Systems» more  CDC 2010»
15 years 1 months ago
Reproducing slugging oscillations of a real oil well
This paper addresses the problem of reproducing oscillations generated by the well-known slugging phenomenon in multiphase flow. Reported investigations show how to determine the p...
Florent Di Meglio, Glenn-Ole Kaasa, Nicolas Petit,...
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
15 years 1 months ago
Evolution of the perception about the opponent in hypergames
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...
Bahman Gharesifard, Jorge Cortes