652 search results - page 93 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
234
click to vote
BMCBI
2006
15 years 6 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...
168
click to vote
GROUP
2009
ACM
16 years 1 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...
184
click to vote
ICFP
2002
ACM
16 years 6 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...
219
click to vote
EC
2006
15 years 6 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...
149
click to vote
CDC
2008
IEEE
16 years 1 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...