Sciweavers

1101 search results - page 44 / 221
» Comparing Computer Models Solving Number Series Problems
Sort
View
127
Voted
CRV
2005
IEEE
134views Robotics» more  CRV 2005»
15 years 7 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 12 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»
15 years 1 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
15 years 4 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
15 years 3 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