Sciweavers

3155 search results - page 507 / 631
» Maintenance: Less Is Not More
Sort
View
JUCS
2008
147views more  JUCS 2008»
15 years 5 months ago
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
Afrodita Iorgulescu
LOGCOM
2008
94views more  LOGCOM 2008»
15 years 5 months ago
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
Walter Alexandre Carnielli, João Rasga, Cri...
IJON
2007
112views more  IJON 2007»
15 years 5 months ago
Extraction of spatio-temporal primitives of emotional body expressions
Experimental and computational studies suggest that complex motor behavior is based on simpler spatiotemporal primitives, or synergies. This has been demonstrated by application o...
Lars Omlor, Martin A. Giese
TASE
2008
IEEE
15 years 5 months ago
New Hybrid Optimization Algorithms for Machine Scheduling Problems
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
Yunpeng Pan, Leyuan Shi
INTEGRATION
2007
95views more  INTEGRATION 2007»
15 years 5 months ago
Wire shaping of RLC interconnects
The optimum wire shape to produce the minimum signal propagation delay across an RLC line is shown to exhibit a general exponential form. The line inductance makes exponential tap...
Magdy A. El-Moursy, Eby G. Friedman