3096 search results - page 458 / 620 » Theory and Use of the EM Algorithm |
164
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
148
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Recent advances in technology allow multi-agent systems to be deployed in cooperation with or as a service for humans. Typically, those systems are designed assuming individually ...
185
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
163
click to vote
DLS
2008
15 years 8 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
173
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
Visualizations are well suited to communicate large amounts of complex data. With increasing resolution in the spatial and temporal domain simple imaging techniques meet their lim...