7112 search results - page 426 / 1423 » Power in normative systems |
187
click to vote
DEXA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper, we consider a multidatabase system which consists of media databases and traditional alphanumeric databases. The semantic relationships which may exist amo...
168
Voted
HOA
1993
15 years 11 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
180
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
171
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we have proposed a new route finding method for car navigation systems meanwhile, have utilized learning power and high speed of neural networks in our proposed meth...
161
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
Invariant tori are examples of invariant manifolds in dynamical systems. Usual tools in dynamical systems such as analysis and numerical simulations alone are often not sufficient...