8780 search results - page 295 / 1756 » On the Feasibility of Consistent Computations |
226
click to vote
Source Code
The Visualization ToolKit (VTK) is an open source for 3D computer graphics, image processing, and visualization. VTK consists of a C++ class library, and several interpreted interf...
219
click to vote
FOCS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— We give approximation algorithms for the Generalized Steiner Network (GSN) problem. The input consists of a graph
166
Voted
PERCOM
2005
ACM
16 years 7 months ago
2005
ACM
EZCab is a proof-of-concept ubiquitous computing application that allows people to book nearby cabs using their cell phones or PDAs equipped with short-range wireless network inte...
188
Voted
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
172
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The execution of a complex task in any environment requires planning. Planning is the process of constructing an activity graph given by the current state of the system, a goal st...