Sciweavers

1479 search results - page 176 / 296
» Extremal collective behavior
Sort
View
DGO
2008
99views Education» more  DGO 2008»
15 years 8 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...
DLT
2008
15 years 8 months ago
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
Mohamed Faouzi Atig, Benedikt Bollig, Peter Haberm...
NIPS
2008
15 years 8 months ago
Self-organization using synaptic plasticity
Large networks of spiking neurons show abrupt changes in their collective dynamics resembling phase transitions studied in statistical physics. An example of this phenomenon is th...
Vicenç Gómez, Andreas Kaltenbrunner,...
EVENT
2001
140views more  EVENT 2001»
15 years 7 months ago
Multimodal 3-D Tracking and Event Detection via the Particle Filter
Determining the occurrence of an event is fundamental to developing systems that can observe and react to them. Often, this determination is based on collecting video and/or audio...
Dmitry N. Zotkin, Ramani Duraiswami, Larry S. Davi...
AAAI
2000
15 years 7 months ago
Cognitive Status and Form of Reference in Multimodal Human-Computer Interaction
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...
Andrew Kehler