39362 search results - page 257 / 7873 » Global Computing Systems |
140
click to vote
CSREAPSC
2006
15 years 5 months ago
2006
Home Automation Technologies make possible the deployment of home monitoring and control applications. These technologies rely on different networking technologies. Some of them ar...
118
click to vote
DATASCIENCE
2007
15 years 4 months ago
2007
The digital revolution has transformed the accumulation of properly curated public research data into an essential upstream resource whose value increases with use.1 The potential...
159
click to vote
ENTCS
2007
15 years 4 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
151
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
124
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— In this paper, we address the problem of determining the relative position and orientation (pose) of two robots navigating in 2D, based on known egomotion and noisy rob...