6722 search results - page 1210 / 1345 » The DSML4MAS development environment |
183
click to vote
CEFP
2007
Springer
15 years 10 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
144
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
134
click to vote
DSOM
2007
Springer
15 years 10 months ago
2007
Springer
Past research on probing-based network monitoring provides solutions based on preplanned probing which is computationally expensive, is less accurate, and involves a large manageme...
149
click to vote
ESAS
2007
Springer
15 years 10 months ago
2007
Springer
RFID-tags can be seen as a new generation of bar codes with added functionality. They are becoming very popular tools for identification of products in various applications such a...
160
click to vote
EUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We explore the use of ubiquitous sensing in the home for contextsensitive microlearning. To assess how users would respond to frequent and brief learning interactions tie...