2247 search results - page 296 / 450 » An expert system for the design of agents |
152
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...
145
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
136
click to vote
INTERACT
2003
15 years 8 months ago
2003
: The SAP Community is a platform for a true virtual community where people and companies come together to exchange ideas, solve problems, benefit from stimulating advice, and coll...
149
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper highlights the iterative development of a dynamic web environment for exploring physics pedagogy: the Physics Teaching Web Advisory, Pathway. The formative evaluation o...
188
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
1 We adapt the Shout and Act algorithm to Digital Objects Preservation where agents explore file systems looking for digital objects to be preserved (victims). When they find somet...