Sciweavers

564 search results - page 85 / 113
» Structural evaluation of agent organizations
Sort
View
TCS
2008
15 years 3 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas
FSTTCS
2010
Springer
15 years 2 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
ICASSP
2010
IEEE
15 years 1 months ago
Restoration-based iron oxide particles quantification in MR images
Magnetic Resonance Imaging (MRI) is a medical imaging modality that provides structural and functional information. To improve the contrast of MR images, contrast agents, such as ...
Delphine Charpigny, Thomas Grenier, Christophe Ode...
EDOC
2008
IEEE
15 years 10 months ago
On Creating Industry-Wide Reference Architectures
Many industries have been developing e-business standards to improve business-to-business interoperability on a mass scale. Most such standards are composed of business data model...
Liming Zhu, Mark Staples, Vladimir Tosic
CAMP
2005
IEEE
15 years 9 months ago
Reinforcement Learning for P2P Searching
— For a peer-to-peer (P2P) system holding massive amount of data, an efficient and scalable search for resource sharing is a key determinant to its practical usage. Unstructured...
Luca Gatani, Giuseppe Lo Re, Alfonso Urso, Salvato...