Sciweavers

4902 search results - page 225 / 981
» Multi-agent Systems Methodology
Sort
View
EUSFLAT
2003
108views Fuzzy Logic» more  EUSFLAT 2003»
15 years 6 months ago
Soft computing and control of district heating system
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
Petr Dostál, Bronislav Chramcov, Jaroslav B...
FDL
2003
IEEE
15 years 10 months ago
Design and Power Analysis in SysteC of an I2C Bus Driver
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
Marco Caldari, Massimo Conti, Paolo Crippa, Simone...
ECMAST
1999
Springer
116views Multimedia» more  ECMAST 1999»
15 years 9 months ago
Watermarking in the MPEG-4 Context
This paper presents the constraints involved by MPEG-4 to copyright protection systems based upon watermarking technology. It proposes also an assessment methodology in order to ev...
Didier Nicholson, Panos Kudumakis, Jean-Fran&ccedi...
145
Voted
HYBRID
1997
Springer
15 years 9 months ago
Hybrid Dynamic Programming
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
Wolf Kohn, Jeffrey B. Remmel
FLAIRS
2000
15 years 6 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...