Sciweavers

2976 search results - page 353 / 596
» On the bounded integer programming
Sort
View
TCSV
2010
14 years 11 months ago
Face and Human Gait Recognition Using Image-to-Class Distance
We propose a new distance measure for face recognition and human gait recognition. Each probe image (a face image or an average human silhouette image) is represented as a set of ...
Yi Huang, Dong Xu, Tat-Jen Cham
SIGMOD
2011
ACM
297views Database» more  SIGMOD 2011»
14 years 7 months ago
Apples and oranges: a comparison of RDF benchmarks and real RDF datasets
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...
Songyun Duan, Anastasios Kementsietsidis, Kavitha ...
GCSE
1999
Springer
15 years 8 months ago
Scoping Constructs for Software Generators
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
Yannis Smaragdakis, Don S. Batory
CORR
2002
Springer
111views Education» more  CORR 2002»
15 years 4 months ago
The Fastest and Shortest Algorithm for All Well-Defined Problems
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
Marcus Hutter
FUIN
2008
107views more  FUIN 2008»
15 years 3 months ago
Nondeterminism in Constructive Z
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi