873 search results - page 21 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
101
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
This paper surveys and places into perspective a number of results concerning the D-BSP (Decomposable Bulk Synchronous Parallel) model of computation, a variant of the popular BSP ...
101
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In ultra-wideband impulse radio (UWB-IR) systems, multipath-delayed received pulses may overlap if two consecutive multipaths arrive within less than the pulse duration...
126
click to vote
ECAL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The colonies of certain species of ants, for example Pogonomyrmex barbatus, exhibit changes in behaviour as the colonies grow older, despite nearly all of the individual ...
142
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
135
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...