Sciweavers

1562 search results - page 164 / 313
» Convenience Over Correctness
Sort
View
BIRTHDAY
2003
Springer
14 years 2 months ago
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
Krishna V. Palem
HRI
2009
ACM
14 years 2 months ago
On using mixed-initiative control: a perspective for managing large-scale robotic teams
Prior work suggests that the potential benefits of mixed initiative management of multiple robots are mitigated by situational factors, including workload and operator expertise....
Benjamin Hardin, Michael A. Goodrich
CCS
2001
ACM
14 years 2 months ago
Flexible authentication of XML documents
XML is increasingly becoming the format of choice for information exchange on the Internet. As this trend grows, one can expect that documents (or collections thereof) may get qui...
Premkumar T. Devanbu, Michael Gertz, April Kwong, ...
CVPR
2010
IEEE
14 years 2 months ago
Refinement of Digital Elevation Models from Shadowing Cues
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
James Hogan, William Smith
COMSWARE
2006
IEEE
14 years 1 months ago
VoIP service quality monitoring using active and passive probes
Service providers and enterprises all over the world are rapidly deploying Voice over IP (VoIP) networks because of reduced capital and operational expenditure, and easy creation o...
Shipra Agrawal, P. P. S. Narayan, Jeyashankher Ram...