Decidable fragments of many-sorted logic
- Aharon Abadi
- Alexander Rabinovich
- et al.
- 2010
- Journal of Symbolic Computation
Publications
3560 results for Mathematical Sciences
Efficient ID-based registration protocol featured with user anonymity in mobile IP networks
- Lanjun Dang
- Weidong Kou
- et al.
- 2010
- IEEE TWC
A deterministic approximation algorithm for computing the permanent of a 0,1 matrix
- David Gamarnik
- Dmitriy Katz
- 2010
- Journal of Computer and System Sciences
Defending against the pirate evolution attack
- Hongxia Jin
- Jeffrey Lotspiech
- et al.
- 2010
- International Journal of Applied Cryptography
An interior-point algorithm for large-scale nonlinear optimization with inexact step computations
- Frank E. Curtis
- Olaf Schenk
- et al.
- 2010
- SIAM Journal on Scientific Computing
Single-channel multitalker speech recognition
- Steven Rennie
- John Hershey
- et al.
- 2010
- IEEE SPM
Neural network based iterative learning control for product qualities in batch processes
- Zhihua Xiong
- Yixin Xu
- et al.
- 2010
- International Journal of Modelling, Identification and Control
Adaptive techniques for improvin g the performance of incomplete factorization p reconditioning
- Anshul Gupta
- Thomas George
- 2010
- SIAM Journal on Scientific Computing
Highlighting diverse concepts in documents
- Kun Liu
- Evimaria Terzi
- et al.
- 2009
- SDM 2009
On segment-based stream modeling and its applications
- Charu C. Aggarwal
- 2009
- SDM 2009