Sciweavers

9504 search results - page 5 / 1901
» Dynamic Substitution Model
Sort
View
DKE
2000
87views more  DKE 2000»
15 years 6 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
15 years 11 months 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
196
Voted
GFKL
2007
Springer
164views Data Mining» more  GFKL 2007»
15 years 10 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
193
Voted
AISB
2008
Springer
15 years 8 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
153
Voted
IROS
2008
IEEE
94views Robotics» more  IROS 2008»
16 years 23 days 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