248 search results - page 44 / 50 » A non-holonomic systems approach to special function identit... |
MKM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
HPDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Parallel computing on volatile distributed resources requires schedulers that consider job and resource characteristics. We study unconventional computing environments containing ...
3DPVT
2002
IEEE
15 years 2 months ago
2002
IEEE
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
73
Voted
KR
2000
Springer
15 years 1 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
76
Voted
ECAL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract Wherever we see life, we see diļ¬erent kinds of complex networks, reason why they are studied across various ļ¬elds of science. Random Boolean Networks (RBNs) form a spe...