6978 search results - page 1090 / 1396 » On Proofs in System P |
167
click to vote
COMBINATORICS
2004
15 years 6 months ago
2004
We extend Schaeffer's bijection between rooted quadrangulations and welllabeled trees to the general case of Eulerian planar maps with prescribed face valences to obtain a bi...
159
click to vote
IPL
2000
15 years 6 months ago
2000
Visual cryptography is a cryptographic paradigm introduced by Naor and Shamir [Lecture Notes in Comput. Sci., Vol. 950, Springer, Berlin, 1995, p. 1]. Some predefined set of parti...
191
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
With the increasing popularity of the WWW, the main challenge in computer science has become content-based retrieval of multimedia objects. Access to multimedia objects in database...
196
click to vote
IVC
2002
15 years 6 months ago
2002
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...
162
click to vote
ORL
2002
15 years 6 months ago
2002
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...