Sciweavers

2409 search results - page 333 / 482
» On Extended Regular Expressions
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 3 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
JMIV
2010
95views more  JMIV 2010»
15 years 3 months ago
Registration of 2D Points Using Geometric Algebra and Tensor Voting
In this paper, we present a novel algorithm that combines the power of expression of Geometric Algebra with the robustness of Tensor Voting to find the correspondences between two...
Leo Reyes-Lozano, Gérard G. Medioni, Eduard...
ICASSP
2010
IEEE
15 years 2 months ago
A transient analysis for the convex combination of two adaptive filters with transfer of coefficients
This paper proposes an improved model for the transient of convex combinations of adaptive filters. A previous model, based on a firstorder Taylor series approximation of the nonl...
Magno T. M. Silva, Vitor H. Nascimento, Jeró...
QEST
2010
IEEE
15 years 2 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
WINE
2010
Springer
145views Economy» more  WINE 2010»
15 years 2 months ago
Course Allocation by Proxy Auction
We propose a new proxy bidding mechanism to allocate courses to students given students' reported preferences. Our mechanism is motivated by a specific strategic downgrading m...
Scott Duke Kominers, Mike Ruberry, Jonathan Ullman