Sciweavers

2126 search results - page 405 / 426
» An optimization algorithm for imprecise multi-objective prob...
Sort
View
ER
2007
Springer
127views Database» more  ER 2007»
15 years 4 months ago
Generic Schema Mappings
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
David Kensche, Christoph Quix, Yong Li, Matthias J...
SIGECOM
2006
ACM
125views ECommerce» more  SIGECOM 2006»
15 years 3 months ago
Minimum payments that reward honest reputation feedback
Online reputation mechanisms need honest feedback to function effectively. Self interested agents report the truth only when explicit rewards offset the cost of reporting and th...
Radu Jurca, Boi Faltings
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
15 years 3 months ago
Preserving synchronizing sequences of sequential circuits after retiming
Abstract We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining c...
Maher N. Mneimneh, Karem A. Sakallah, John Moondan...
HPCN
1995
Springer
15 years 1 months ago
Exploiting high performance Fortran for computational fluid dynamics
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
Kenneth A. Hawick, Geoffrey Fox
AISC
2008
Springer
14 years 12 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...