Sciweavers

109 search results - page 8 / 22
» A Constraint Model for State Transitions in Disjunctive Reso...
Sort
View
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
14 years 1 months ago
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
FORMATS
2006
Springer
13 years 10 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu
FPGA
2006
ACM
139views FPGA» more  FPGA 2006»
13 years 10 months ago
Fast and accurate resource estimation of automatically generated custom DFT IP cores
This paper presents an equation-based resource utilization model for automatically generated discrete Fourier transform (DFT) soft core IPs. The parameterized DFT IP generator all...
Peter A. Milder, Mohammad Ahmad, James C. Hoe, Mar...
28
Voted
ICC
2009
IEEE
118views Communications» more  ICC 2009»
13 years 4 months ago
Downlink Resource Allocation for OFDMA-Based Multiservice Networks with Imperfect CSI
Abstract--This paper addresses practical implementation issues of resource allocation in OFDMA networks: inaccuracy of channel state information (CSI) available to the resource all...
Mohamad Khattar Awad, Veluppillai Mahinthan, Mehri...
CSREAEEE
2006
103views Business» more  CSREAEEE 2006»
13 years 8 months ago
Software Engineering Employee Motivational Capital Model: SE-EMCM
The business world has been reinventing the human. Employee participative transition projects for management strategies are becoming more important in IT organizations day by day....
Serdar Turkeli