12981 search results - page 2275 / 2597 » Model Checking (Abstract) |
140
Voted
DFKI
2005
Springer
15 years 10 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
137
click to vote
DNA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: ...
143
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents proposed Security Architecture for Open Collaborative Environment (OCE) being developed in the framework of the Collaboratory.nl (CNL) project with the...
139
click to vote
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
148
click to vote
EMO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In engineering and other ‘real-world’ applications, multiobjective optimization problems must frequently be tackled on a tight evaluation budget — tens or hundreds ...