Sciweavers

948 search results - page 111 / 190
» Modelling Agents as Observable Sources
Sort
View
CONCUR
2010
Springer
15 years 5 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
ISCAS
2005
IEEE
114views Hardware» more  ISCAS 2005»
15 years 9 months ago
Self-organized cortical map formation by guiding connections
We describe an algorithm for self-organizing connections from a source array to a target array of neurons that is inspired by neural growth cone guidance. Each source neuron proje...
Stanley Y. M. Lam, Bertram Emil Shi, Kwabena Boahe...
117
Voted
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 24 days ago
Binary is Good: A Binary Inference Framework for Primary User Separation in Cognitive Radio Networks
Primary users (PU) separation concerns with the issues of distinguishing and characterizing primary users in cognitive radio (CR) networks. We argue the need for PU separation in t...
Huy Anh Nguyen, Rong Zheng, Zhu Han
ICASSP
2011
IEEE
14 years 7 months ago
Practical limits in RSS-based positioning
Received signal strength (RSS) based source localization papers often ignore the practical effects of range limits in the measurements. In many devices, this results in some senso...
Richard K. Martin, Amanda Sue King, Ryan W. Thomas...
AAAI
2007
15 years 6 months ago
Predictive Exploration for Autonomous Science
Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems’ efficiency with onboa...
David R. Thompson