Sciweavers

1302 search results - page 92 / 261
» From Liveness to Promptness
Sort
View
SIGMETRICS
1999
ACM
14 years 15 days ago
NFS Sensitivity to High Performance Networks
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...
Richard P. Martin, David E. Culler
AIS
2010
Springer
13 years 8 months ago
Anticipation and the artificial: aesthetics, ethics, and synthetic life
If complexity is a necessary but not sufficient premise for the existence and expression of the living, anticipation is the distinguishing characteristic of what is alive. Anticipa...
Mihai Nadin
BIOSYSTEMS
2008
100views more  BIOSYSTEMS 2008»
13 years 8 months ago
Objective patterns in the evolving network of non-equivalent observers
The world's objective pattern is formed through consistent histories of quantum measurements originating as different branches of the same wave function. When we come close t...
Abir U. Igamberdiev
NFM
2011
242views Formal Methods» more  NFM 2011»
13 years 3 months ago
Model Checking Using SMT and Theory of Lists
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Aleksandar Milicevic, Hillel Kugler
CVPR
2011
IEEE
12 years 12 months ago
Activity Recognition using Dynamic Subspace Angles
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
Octavia Camps, Mario Sznaier, Binlong Li, Teresa M...