Sciweavers

1623 search results - page 148 / 325
» No Sorting
Sort
View
ISSAC
2004
Springer
93views Mathematics» more  ISSAC 2004»
15 years 10 months ago
Finding the smallest image of a set
We describe an algorithm for finding a canonical image of a set of points under the action of a permutation group. Specifically if we order images by sorting them and ordering t...
Steve Linton
141
Voted
MDM
2004
Springer
130views Communications» more  MDM 2004»
15 years 10 months ago
Opportunistic Resource Exchange in Inter-Vehicle Ad-Hoc Networks
In this paper we examine resource discovery in inter-vehicle ad-hoc networks in an urban area, where moving vehicles communicate with each other via short-range wireless transmiss...
Bo Xu, Aris M. Ouksel, Ouri Wolfson
PPDP
2004
Springer
15 years 10 months ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
126
Voted
SDMW
2004
Springer
15 years 10 months ago
Abstracting and Refining Authorization in SQL
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
Arnon Rosenthal, Edward Sciore
136
Voted
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
15 years 10 months ago
Management of Material Flows in Closed-Loop Supply Chains
Due to the latest developments in European environmental legislation, producers will be responsible for collecting, sorting and recycling of discarded products at the end of their...
Thomas Spengler