نتایج جستجو برای: pure

تعداد نتایج: 94509  

2004
Krzysztof Czaja

Xeq is an external library for PureData, intended for manipulation of sequences of time-stamped Pd messages. It has been used for over two years, both as a flexible qlist replacement and in a number of specific applications (sometimes as exotic, as old-fashioned playing and recording of MIDI files, score following, etc.) In its new version, which is described here, xeq has been entirely redesig...

Journal: :Electr. Notes Theor. Comput. Sci. 1997
Gilles Barthe John Hatcliff Morten Heine Sørensen

1997
Gilles Barthe

We present a notion of classical pure type system, which extends the formalism of pure type system with a double negation operator.

Journal: :Computing in Science and Engineering 2009
Konstantin Läufer George K. Thiruvathukal

Journal: :Journal of neurology, neurosurgery, and psychiatry 1970
W J Cumming L J Hurwitz N T Perl

2007
Ivica Ico Bukvic Ji-Sun Kim Dan Trueman Thomas Grill

munger1~ is a new and enhanced version of a powerful Max/MSP real-time granular synthesis external found in the PeRColate library. Apart from added features and optimizations, including ability to generate theoretically unlimited number of grains per second using real-time input, munger1~ also offers GPL-licensed platformtransparent code using the flext library. Thus, munger1~ is compatible wit...

2003
Dalen Kambur Mark Roantree

True integration of large systems requires sharing of information stored in databases beyond sharing of pure data: business rules associated with this data must be shared also. This research focuses on providing a mechanism for defining, storing and sharing business rules across different information systems, in an area where existing technologies are weak. In this paper, we present the pre-int...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید