8294 search results - page 357 / 1659 » Presenting Data from Experiments in Algorithmics |
179
click to vote
DIS
2007
Springer
16 years 27 days ago
2007
Springer
Ecosystem Informatics brings together mathematical and computational tools to address scientific and policy challenges in the ecosystem sciences. These challenges include novel s...
229
click to vote
TMC
2008
15 years 5 months ago
2008
Continued advances in mobile networks and positioning technologies have created a strong market push for location-based applications. Examples include location-aware emergency resp...
156
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
In this paper, we present a new framework that performs automated local wall motion analysis based on the combined information derived from a rest and stress sequence (a full stres...
186
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
200
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Recently, a number of algorithms have been proposed to obtain hierarchical structures — so-called folksonomies — from social tagging data. Work on these algorithms is in part ...