Sciweavers

3591 search results - page 418 / 719
» Typing linear constraints
Sort
View
ICRA
2010
IEEE
122views Robotics» more  ICRA 2010»
15 years 5 months ago
Constrained convergent gait regulation for a climbing robot
— The priorities of a climbing legged robot are to maintain a grasp on its climbing surface and to climb efficiently against the force of gravity. These priorities profoundly co...
Salomon Trujillo, Barrett Heyneman, Mark R. Cutkos...
ICST
2010
IEEE
15 years 5 months ago
Satisfying Test Preconditions through Guided Object Selection
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Ori...
JSAC
2008
95views more  JSAC 2008»
15 years 5 months ago
Cognitive Medium Access: Constraining Interference Based on Experimental Models
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
Stefan Geirhofer, Lang Tong, Brian M. Sadler
SIAMSC
2010
158views more  SIAMSC 2010»
15 years 5 months ago
Solving Constrained Total-variation Image Restoration and Reconstruction Problems via Alternating Direction Methods
In this paper, we study alternating direction methods for solving constrained total-variation image restoration and reconstruction problems. Alternating direction methods can be im...
Michael K. Ng, Pierre Weiss, Xiaoming Yuan
ACL
2010
15 years 4 months ago
Automatic Generation of Story Highlights
In this paper we present a joint content selection and compression model for single-document summarization. The model operates over a phrase-based representation of the source doc...
Kristian Woodsend, Mirella Lapata