2777 search results - page 194 / 556 » Example centric programming |
90
Voted
EUROPAR
2003
Springer
15 years 6 months ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
73
Voted
VLDB
2001
ACM
15 years 5 months ago
2001
ACM
We illustrate basic features of the Lixto wrapper generator such as the user and system interaction, the capacious visual interface, the marking and selecting procedures, and the ...
79
Voted
FM
1999
Springer
15 years 5 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
95
Voted
CSL
1989
Springer
15 years 4 months ago
1989
Springer
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
83
Voted
ESANN
2007
15 years 2 months ago
2007
We discuss the use in machine learning of a general type of convex optimisation problem known as semi-definite programming (SDP) [1]. We intend to argue that SDP’s arise quite n...