Sciweavers

327 search results - page 32 / 66
» Some Elimination Problems for Matrices
Sort
View
ICC
2007
IEEE
110views Communications» more  ICC 2007»
14 years 4 months ago
A New STC Structure to Achieve Generalized Optimal Diversity with a Reduced Design Complexity
Abstract - We propose a new space-time code (STC) structure that can achieve generalized optimal diversity (GOD) with a reduced design complexity, and also provide an increased cod...
Moon Il Lee, Seong Keun Oh, Dong Seung Kwon
INFOCOM
2011
IEEE
13 years 1 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
CADE
2009
Springer
14 years 10 months ago
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
Sean McLaughlin, Frank Pfenning
ICPR
2008
IEEE
14 years 4 months ago
Detecting shadows of moving vehicles based on HMM
Vehicle detection and classification are invaluable in many transportation systems, such as traffic flow analysis, abnormal events detection, automotive driver assistant systems a...
Yuxuan Wang, Heng-Da Cheng, Juan Shan
CP
2000
Springer
14 years 2 months ago
New Search Heuristics for Max-CSP
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
Kalev Kask