Sciweavers

2949 search results - page 512 / 590
» Universal Sparse Modeling
Sort
View
116
Voted
ENTCS
1998
101views more  ENTCS 1998»
15 years 9 days ago
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
Marta Z. Kwiatkowska, Gethin Norman
95
Voted
MST
1998
76views more  MST 1998»
15 years 9 days ago
Sharply Bounded Alternation and Quasilinear Time
We de ne the sharply bounded hierarchy, SBH(QL), a hierarchy of classes within P, using quasilinear-time computation and quanti cation over strings of length logn. It generalizes ...
Stephen A. Bloch, Jonathan F. Buss, Judy Goldsmith
119
Voted
PE
2002
Springer
118views Optimization» more  PE 2002»
15 years 9 days ago
Procedures and tools for analysis of network traffic measurements
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...
Costas Courcoubetis, Vasilios A. Siris
BIB
2007
158views more  BIB 2007»
15 years 7 days ago
Biodiversity informatics: organizing and linking information across the spectrum of life
Biological knowledge can be inferred from three major levels of information: molecules, organisms and ecologies. Bioinformatics is an established field that has made significant a...
Indra Neil Sarkar
103
Voted
NCA
2007
IEEE
15 years 4 days ago
Safety management of complex technology
One of the key success factors behind the human species is the ability to think, plan and pursue goals. Apart from wisdom and tacit knowledge, experience and awareness of the phys...
Ali G. Hessami