Sciweavers

8025 search results - page 1060 / 1605
» Combinators Introduction: An Algorithm
Sort
View
AROBOTS
2000
179views more  AROBOTS 2000»
15 years 7 months ago
A Gesture Based Interface for Human-Robot Interaction
Service robotics is currently a pivotal research area in robotics, with enormous societal potential. Since service robots directly interact with people, nding natural" and ea...
Stefan Waldherr, Roseli Romero, Sebastian Thrun
EOR
2007
364views more  EOR 2007»
15 years 7 months ago
Heuristics for the mirrored traveling tournament problem
Professional sports leagues are a major economic activity around the world. Teams and leagues do not want to waste their investments in players and structure in consequence of poo...
Celso C. Ribeiro, Sebastián Urrutia
FMSD
2002
107views more  FMSD 2002»
15 years 7 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
CONSTRAINTS
1998
112views more  CONSTRAINTS 1998»
15 years 7 months ago
Temporal Constraints: A Survey
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
Eddie Schwalb, Lluís Vila
CONSTRAINTS
1999
120views more  CONSTRAINTS 1999»
15 years 6 months ago
Refined Inequalities for Stable Marriage
We consider two approaches to the stable marriage problem: proposal algorithms and describing the stable matching polytope using linear inequalities. We illuminate the relationship...
Brian Aldershof, Olivia M. Carducci, David C. Lore...
« Prev « First page 1060 / 1605 Last » Next »