2362 search results - page 355 / 473 » Programming in Standard ML |
122
click to vote
EPIA
2009
Springer
15 years 10 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
129
Voted
ESTIMEDIA
2009
Springer
15 years 10 months ago
2009
Springer
—Multimedia applications are often characterised by implicit temporal constraints but, in many cases, they are not programmed using any specialised real-time API. These “Legacy...
109
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
149
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
: Solving problems in bioinformatics often needs extensive computational power. Current trends in processor architecture, especially massive multi-core processors for graphic cards...
122
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...