3993 search results - page 576 / 799 » Matchmaking for Structured Objects |
120
click to vote
SIAMDM
1998
15 years 3 months ago
1998
In this paper, we investigate combinatorialproperties and constructions of two recent topics of cryptographic interest, namely frameproof codes for digital ngerprinting, and trace...
121
Voted
SIAMJO
2002
15 years 3 months ago
2002
Nonsmoothness pervades optimization, but the way it typically arises is highly structured. Nonsmooth behavior of an objective function is usually associated, locally, with an activ...
139
Voted
TSMC
2002
15 years 3 months ago
2002
Existing modeling frameworks for manufacturing system control can be classified into hierarchical, heterarchical, and hybrid control frameworks. The main drawbacks of existing fram...
143
Voted
MSCS
2007
15 years 3 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
128
Voted
RAS
2008
15 years 3 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...