2391 search results - page 242 / 479 » From Nature to Methods and Back to Nature |
164
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
From an audio perspective, the present state of teleconferencing technology leaves something to be desired; speaker overlap is one of the causes of this inadequate performance. To...
163
click to vote
CEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
165
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
173
click to vote
IPSN
2007
Springer
16 years 23 days ago
2007
Springer
Mobile phones have two sensors: a camera and a microphone. The widespread and ubiquitous nature of mobile phones around the world makes it attractive to build a large-scale sensor...
169
click to vote
VMCAI
2007
Springer
16 years 22 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...