2766 search results - page 125 / 554 » Hybridizing a Logical Framework |
117
click to vote
ICWMC
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper discusses hybrid cellular-broadcasting systems as an alternative for future delivery of wireless multimedia multicast services. A resource management framework is pr...
119
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
134
click to vote
HM
2009
Springer
15 years 8 months ago
2009
Springer
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
144
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- In this paper, we propose an evolutionary gametheoretic framework for hybrid additive white Gaussian noise multiple access channels. We consider a communication system c...
132
click to vote
WSC
2008
15 years 6 months ago
2008
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...