2576 search results - page 373 / 516 » Methodology work is ontology work |
172
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...
166
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
An original approach, termed Divide-and-Evolve is proposed to hybridize Evolutionary Algorithms (EAs) with Operational Research (OR) methods in the domain of Temporal Planning Prob...
149
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
We use probabilistic boolean networks to simulate the pathogenesis of Dengue Hemorraghic Fever (DHF). Based on Chaturvedi's work, the strength of cytokine influences are mode...
190
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
179
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...