Sciweavers

2123 search results - page 303 / 425
» The study of models of intelligent interfaces
Sort
View
GECCO
2007
Springer
276views Optimization» more  GECCO 2007»
16 years 27 days ago
Meta-optimizing semantic evolutionary search
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
Moshe Looks
ICAIL
2005
ACM
16 years 8 days ago
Helping Law Students to Understand US Supreme Court Oral Arguments: A Planned Experiment
The transcripts of oral arguments before the US Supreme Court provide interesting opportunities from the viewpoint of legal education. As the pinnacle of legal argumentation, they...
Vincent Aleven, Kevin D. Ashley, Collin Lynch
APN
2005
Springer
16 years 8 days ago
Can I Execute My Scenario in Your Net?
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
Gabriel Juhás, Robert Lorenz, Jörg Des...
ATAL
2005
Springer
16 years 8 days ago
Formalizing and achieving multiparty agreements via commitments
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
Feng Wan, Munindar P. Singh
ATAL
2005
Springer
16 years 8 days ago
Towards a theory of "local to global" in distributed multi-agent systems (II)
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
Daniel Yamins