3323 search results - page 604 / 665 » Computational Semantics with Functional Programming |
167
click to vote
ICALP
2007
Springer
16 years 9 days 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...
144
click to vote
ICALP
2007
Springer
16 years 9 days 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...
134
click to vote
ICCS
2007
Springer
16 years 9 days 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...
164
click to vote
IROS
2006
IEEE
16 years 5 days 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...
163
click to vote
RTCSA
2006
IEEE
16 years 5 days 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 ...