3250 search results - page 546 / 650 » Parameterized Learning Complexity |
103
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
System performance in multi-agent resource allocation systems can often improve if individual agents reduce their activity. Agents in such systems need a way to modulate their ind...
114
click to vote
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In the philosophy of behavior-based robotics, design of complex behavior needs the interaction of basic behaviors that are easily implemented. Action selection mechanism ...
120
Voted
CPE
2003
Springer
15 years 8 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
148
Voted
DEXA
2003
Springer
15 years 8 months ago
2003
Springer
Effective daily processing of large amounts of paper documents in office environments requires the application of semantic-based indexing techniques during the transformation of pa...
135
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...