Sciweavers

3239 search results - page 351 / 648
» A Logical Process Calculus
Sort
View
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
15 years 10 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...
IPPS
2007
IEEE
15 years 10 months ago
A Study of Design Efficiency with a High-Level Language for FPGAs
Over the years reconfigurable computing devices such as FPGAs have evolved from gate-level glue logic to complex reprogrammable processing architectures. However, the tools used f...
Zain-ul-Abdin, Bertil Svensson
ARTS
1999
Springer
15 years 8 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
WSC
2004
15 years 5 months ago
Controlling Over-Optimism in Time-Warp Via CPU-Based Flow Control
In standard optimistic parallel event simulation, no restriction exists on the maximum lag in simulation time between the fastest and slowest logical processes (LPs). Overoptimist...
Vinay Sachdev, Maria Hybinette, Eileen Kraemer
CEC
2007
IEEE
15 years 10 months ago
Towards a generic control strategy for Evolutionary Algorithms: an adaptive fuzzy-learning approach
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...
Jorge Maturana, Frédéric Saubion