Sciweavers

12637 search results - page 2480 / 2528
» Security for Extensible Systems
Sort
View
FOSSACS
2003
Springer
14 years 26 days ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan
ISAAC
2003
Springer
141views Algorithms» more  ISAAC 2003»
14 years 25 days ago
Quasi-optimal Arithmetic for Quaternion Polynomials
Abstract. Fast algorithms for arithmetic on real or complex polynomials are wellknown and have proven to be not only asymptotically efficient but also very practical. Based on Fas...
Martin Ziegler
EDBT
2010
ACM
151views Database» more  EDBT 2010»
14 years 23 days ago
Warm cache costing: a feedback optimization technique for buffer pool aware costing
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...
H. S. Ramanujam, Edwin Seputis
3DPVT
2002
IEEE
193views Visualization» more  3DPVT 2002»
14 years 19 days ago
Modeling shapes and textures from images: new frontiers
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
Luc J. Van Gool, D. Vandemeulen, Gregor A. Kalbere...
HICSS
2002
IEEE
106views Biometrics» more  HICSS 2002»
14 years 18 days ago
Satisfaction with Internet-Based Services
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
Mohamed Khalifa, Vanessa Liu
« Prev « First page 2480 / 2528 Last » Next »