3233 search results - page 465 / 647 » Rule Modeling and Markup |
162
click to vote
SIGECOM
2005
ACM
16 years 4 days ago
2005
ACM
A set of jobs need to be served by a single server which can serve only one job at a time. Jobs have processing times and incur waiting costs (linear in their waiting time). The j...
155
click to vote
AE
2005
Springer
16 years 4 days ago
2005
Springer
An encoding scheme for protein folding on lattice models, inspired by parametric L-systems, was proposed. The encoding incorporates problem domain knowledge in the form of predesig...
155
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
This paper proposes a functional ontology of reputation for agents. The goal of this ontology is twofold. First, to put together the broad knowledge about reputation produced in s...
158
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
170
click to vote
DNA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...