3323 search results - page 604 / 665 » Computational Semantics with Functional Programming |
118
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
112
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
97
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
109
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
—Many vision-based navigation systems are restricted to the use of only a limited number of landmarks when computing the camera pose. This limitation is due to the overhead of de...
128
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...