151 search results - page 18 / 31 » Methodology to Evaluate the Functionality of Specification L... |
153
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We propose Markov random fields (MRFs) as a probabilistic mathematical model for unifying approaches to multi-robot coordination or, more specifically, distributed action selectio...
168
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
The availability of semantically tagged corpora is becoming a very important and urgent need for training and evaluation within a large number of applications but also they are th...
170
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
249
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
408
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...