Sciweavers

13489 search results - page 104 / 2698
» Operating System
Sort
View
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 6 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
TFS
2008
107views more  TFS 2008»
15 years 2 months ago
Towards a General Class of Operators for Fuzzy Systems
Abstract-- Our starting point is the multiplicative utility function which is extensively used in the theory of multicriteria decision making. Its associativity is shown and as its...
József Dombi
169
Voted
EUSFLAT
2009
118views Fuzzy Logic» more  EUSFLAT 2009»
15 years 9 days ago
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
Hannes Strass, Susana Muñoz-Hernánde...
107
Voted
IROS
2007
IEEE
124views Robotics» more  IROS 2007»
15 years 8 months ago
Design of an automated transportation system in a seaport container terminal for the reliability of operating robots
— For the design of an automated transportation system in an actual seaport container terminal, it is necessary to take into consideration the maintenance of operating robots (AG...
Satoshi Hoshino, Jun Ota
FTRTFT
1998
Springer
15 years 6 months ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...