Sciweavers

1101 search results - page 44 / 221
» Comparing Computer Models Solving Number Series Problems
Sort
View
CRV
2005
IEEE
134views Robotics» more  CRV 2005»
15 years 3 months ago
Segment-Based Hand Pose Estimation
The work presented here solves two major problems of hand pose recognition: (A) determining what pose is shown in a given, input picture and (B) detecting the presence of a known ...
Christopher Schwarz, Niels da Vitoria Lobo
ICFEM
2009
Springer
14 years 7 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
MP
2002
143views more  MP 2002»
14 years 9 months ago
Extending Dantzig's bound to the bounded multiple-class binary Knapsack problem
The bounded multiple-class binary knapsack problem is a variant of the knapsack problem where the items are partitioned into classes and the item weights in each class are a multip...
François Vanderbeck
ACMSE
2008
ACM
14 years 11 months ago
Optimization of the multiple retailer supply chain management problem
With stock surpluses and shortages representing one of the greatest elements of risk to wholesalers, a solution to the multiretailer supply chain management problem would result i...
Caio Soares, Gerry V. Dozier, Emmett Lodree, Jared...
INTERACT
2003
14 years 11 months ago
Reactive Information Displays
: Reactive Information Displays (RIDs) that track and react to a user’s attention, to present the right information at the right place and in the right time, constitute a relativ...
N. Hari Narayanan, Daesub Yoon