Sciweavers

873 search results - page 140 / 175
» step 2005
Sort
View
CGF
2005
252views more  CGF 2005»
14 years 11 months ago
Support Vector Machines for 3D Shape Processing
We propose statistical learning methods for approximating implicit surfaces and computing dense 3D deformation fields. Our approach is based on Support Vector (SV) Machines, which...
Florian Steinke, Bernhard Schölkopf, Volker B...
LOGCOM
2007
79views more  LOGCOM 2007»
14 years 11 months ago
Goal Change in the Situation Calculus
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...
Steven Shapiro, Yves Lespérance, Hector J. ...
POPL
2005
ACM
16 years 4 days ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
15 years 6 months ago
Modeling the Economic Cost of Transmission Bottlenecks
— The purpose of this paper is to model the stochastic behavior of nodal prices and use the predicted price differences between zones as the basis for measuring the magnitude and...
Timothy D. Mount, Jaeuk Ju
VTC
2006
IEEE
203views Communications» more  VTC 2006»
15 years 5 months ago
The 3G Long-Term Evolution - Radio Interface Concepts and Performance Evaluation
Abstract—3GPP is in the process of defining the long-term evolution (LTE) for 3G radio access, sometimes referred to as Super3G, in order to maintain the future competitiveness o...
Erik Dahlman, Hannes Ekström, Anders Furuskar...