1712 search results - page 142 / 343 » A Computational Approach to Binding Theory |
125
click to vote
ICPPW
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—A probabilistic analytical framework for decentralized load balancing (LB) strategies for heterogeneous distributed-computing systems (DCSs) is presented with the overal...
151
click to vote
STORYTELLING
2005
Springer
15 years 7 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
106
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
111
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
124
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Understanding gene regulatory networks has become one of the central research problems in bioinformatics. More than thirty algorithms have been proposed to identify DN...