248 search results - page 44 / 50 » A non-holonomic systems approach to special function identit... |
MKM
2004
Springer
14 years 26 days 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
13 years 7 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
14 years 14 days 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...
KR
2000
Springer
13 years 11 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 ...
ECAL
2003
Springer
14 years 22 days 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...