16190 search results - page 422 / 3238 » Applicative programming with effects |
138
Voted
AGILEDC
2006
IEEE
15 years 8 months ago
2006
IEEE
XP is a lightweight process that provides principles for guiding projects and relies on the participants for its success. However, despite these guidelines, projects can be unsucc...
181
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
134
Voted
TSP
2010
14 years 11 months ago
2010
In this correspondence, a two-channel linear phase finite impulse response (FIR) quadrature mirror filter (QMF) bank minimax design problem is formulated as a nonconvex optimizati...
150
Voted
ETS
2002
IEEE
15 years 4 months ago
2002
IEEE
Many business schools are re-examining management education, and many view advanced information technology as an enabler of innovative and effective learning. How best to approach...
128
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...