Sciweavers

138 search results - page 2 / 28
» Hybrid argumentation and its properties
Sort
View
ICC
2008
IEEE
13 years 11 months ago
Repeat Accumulate code Division Multiple Access and its Hybrid Detection
— In this paper, we propose the novel concept of Repeat Accumulate Code Division Multiple Access (RA-CDMA), which employs unique, user-specific channel code generator matrices (...
Rong Zhang, Lei Xu, Sheng Chen, Lajos Hanzo
ACTA
2007
114views more  ACTA 2007»
13 years 4 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
ICAIL
2005
ACM
13 years 10 months ago
Arguing about cases as practical reasoning
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
UAI
2004
13 years 6 months ago
Solving Factored MDPs with Continuous and Discrete Variables
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
Carlos Guestrin, Milos Hauskrecht, Branislav Kveto...
HYBRID
1995
Springer
13 years 8 months ago
Deciding Reachability for Planar Multi-polynomial Systems
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
Karlis Cerans, Juris Viksna