652 search results - page 93 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
113
click to vote
BMCBI
2006
14 years 10 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
GROUP
2009
ACM
15 years 4 months ago
2009
ACM
Networked multiplayer games must support a much wider variety of interactions than single-player games because networked games involve communication and coordination between playe...
ICFP
2002
ACM
15 years 10 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
108
click to vote
EC
2006
14 years 10 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper deals with the consensus problem under communication network inducing delays. It is well-known that introducing a delay leads in general to a reduction of the perfor...