Sciweavers

9504 search results - page 5 / 1901
» Dynamic Substitution Model
Sort
View
DKE
2000
87views more  DKE 2000»
13 years 7 months ago
On the representation of roles in object-oriented and conceptual modelling
: The duality of objects and relationships is so deeply embedded in our thinking that almost all modelling languages include it as a fundamental distinction. Yet there is evidence ...
Friedrich Steimann
STACS
2004
Springer
14 years 27 days ago
Desert Automata and the Finite Substitution Problem
d Abstract)⋆⋆ Daniel Kirsten LIAFA, Universit´e Denis Diderot – Case 7014, 2 place Jussieu, F-75251 Paris Cedex 05, France We give a positive solution to the so-called fini...
Daniel Kirsten
GFKL
2007
Springer
164views Data Mining» more  GFKL 2007»
13 years 11 months ago
Classification with Invariant Distance Substitution Kernels
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
Bernard Haasdonk, Hans Burkhardt
AISB
2008
Springer
13 years 9 months ago
Substitution for Fraenkel-Mostowski foundations
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
Murdoch Gabbay, Michael Gabbay
IROS
2008
IEEE
94views Robotics» more  IROS 2008»
14 years 1 months ago
Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
Satoshi Hoshino, Jun Ota