Sciweavers

3552 search results - page 679 / 711
» Proof theory in the abstract
Sort
View
INFOCOM
2011
IEEE
14 years 5 months ago
Secure and practical outsourcing of linear programming in cloud computing
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
Cong Wang, Kui Ren, Jia Wang
SCHULE
2007
Springer
15 years 8 months ago
AtoCC - didaktischer Ort und erste Erfahrungen
Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Gr...
Michael Hielscher, Christian Wagenknecht
ECCV
1998
Springer
16 years 3 months ago
Motion Recovery from Image Sequences: Discrete Viewpoint vs. Differential Viewpoint
Abstract. The aim of this paper is to explore intrinsic geometric methods of recovering the three dimensional motion of a moving camera from a sequence of images. Generic similarit...
Yi Ma, Jana Kosecka, Shankar Sastry
DAC
2009
ACM
16 years 2 months ago
Contract-based system-level composition of analog circuits
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Albe...
ICML
2005
IEEE
16 years 2 months ago
Combining model-based and instance-based learning for first order regression
T ORDER REGRESSION (EXTENDED ABSTRACT) Kurt Driessensa Saso Dzeroskib a Department of Computer Science, University of Waikato, Hamilton, New Zealand (kurtd@waikato.ac.nz) b Departm...
Kurt Driessens, Saso Dzeroski