25195 search results - page 290 / 5039 » Applications of Computers to Dance |
114
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
159
click to vote
AMC
2005
15 years 6 months ago
2005
This paper presents a new symbolic algorithm to compute the singular initial value problem of second-order ordinary differential equations using Adomian decomposition method. The ...
177
click to vote
Source Code
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...
145
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
The Service-Oriented Computing (SOC) paradigm promotes the use of basic composition units – services – to support the rapid development of distributed applications. Service co...
124
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Dynamicreconfigurationoffieldprogrammablegatearrays(FPGAs)hasrecentlyemergedasthenextstepinreconfigurable computing. Sanders,ALockheedMartinCompany,isdevelopingtheenablingtechnolo...