Sciweavers

2366 search results - page 81 / 474
» Pfaffian Hybrid Systems
Sort
View
99
Voted
IJCIA
2008
68views more  IJCIA 2008»
15 years 21 days ago
A Hybrid Estimation of Distribution Algorithm for CDMA Cellular System Design
Abstract: While code division multiple access (CDMA) is becoming a promising cellular communication system, the design for a CDMA cellular system configuration has posed a practica...
Jianyong Sun, Qingfu Zhang, Jin Li, Xin Yao
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 10 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
165
Voted
ICDE
2003
IEEE
101views Database» more  ICDE 2003»
16 years 2 months ago
The QUIQ Engine: A Hybrid IR DB System
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
Navin Kabra, Raghu Ramakrishnan, Vuk Ercegovac
72
Voted
CDC
2008
IEEE
15 years 7 months ago
Hybrid control of a constrained velocity unicycle with local sensing
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas...
JVA
2006
IEEE
15 years 6 months ago
Dependability in Hybrid Grid Systems: A Virtual Clusters Approach
With the rapid evolution of mobile and ubiquitous computing, small-scale devices like personal digital assistants, smart "converged" phones and laptops now dominate the ...
Stavros Isaiadis, Vladimir Getov